Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 852.886µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
5-day Course on Cambridge HOL System
From: Jeffrey Joyce
Date: Fri, 22 Mar 1991 16:48
Article: 356
Message-ID: <1991Mar22.164859.23479@cs.ubc.ca>
Debug Information
Tree Statistics
- Root Article: 356
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 852.886µs
Thread Root
- Subject: 5-day Course on Cambridge HOL System
- From: Jeffrey Joyce
- Date: Fri, 22 Mar 1991 16:48
- Article: 356