Thread Tree View: alt.uu.math.misc
2 messages
Depth: 1
Cached
Build time: 887.153µsms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
2ndCFP:TPHOLs'96- Theorem Proving in Higher Order Logics (ASCII)
From: Jim Grundy
Date: Wed, 31 Jan 1996 00:00
Article: 115
Message-ID: <4enhaa$mgp@josie.abo.fi>
Debug Information
Tree Statistics
- Root Article: 115
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 887.153µs
Thread Root
- Subject: 2ndCFP:TPHOLs'96- Theorem Proving in Higher Order Logics (ASCII)
- From: Jim Grundy
- Date: Wed, 31 Jan 1996 00:00
- Article: 115