Thread Tree View: alt.uu.math.misc
1 messages
Depth: 0
Cached
Build time: 702.905µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Participation Call: TPHOLs'96 - Proving in Higher Order Logics
From: Jim Grundy INF
Date: Tue, 21 May 1996 00:00
Article: 119
Message-ID: <4nrp09$f0u@josie.abo.fi>
Debug Information
Tree Statistics
- Root Article: 119
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 702.905µs
Thread Root
- Subject: Participation Call: TPHOLs'96 - Proving in Higher Order Logics
- From: Jim Grundy INF
- Date: Tue, 21 May 1996 00:00
- Article: 119