Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 1.210362msms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Cambridge HOL System - 5-day intensive course
From: Jeffrey Joyce
Date: Thu, 03 Jan 1991 16:46
Article: 309
Message-ID: <1991Jan3.164632.4240@cs.ubc.ca>
Debug Information
Tree Statistics
- Root Article: 309
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 1.210362ms
Thread Root
- Subject: Cambridge HOL System - 5-day intensive course
- From: Jeffrey Joyce
- Date: Thu, 03 Jan 1991 16:46
- Article: 309