Thread Tree View: alt.uu.math.misc
1 messages
Depth: 0
Build time: 418.025124msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
2ndCFP:TPHOLs'96- Theorem Proving in Higher Order Logics (LaTeX)
From: Jim Grundy
Date: Wed, 31 Jan 1996 00:00
Article: 116
Message-ID: <4enhjh$mgp@josie.abo.fi>
Debug Information
Tree Statistics
- Root Article: 116
- Message Count: 1
- Max Depth: 0
- Cache Hit: No
- Build Time: 418.025124ms
Thread Root
- Subject: 2ndCFP:TPHOLs'96- Theorem Proving in Higher Order Logics (LaTeX)
- From: Jim Grundy
- Date: Wed, 31 Jan 1996 00:00
- Article: 116