Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 762.345µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Re: 5-day Course on Cambridge HOL System
From: msaltzman
Date: Sun, 07 Apr 1991 02:19
Article: 362
Message-ID: <1991Apr7.021914.21933@macc.wisc.edu>
Debug Information
Tree Statistics
- Root Article: 362
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 762.345µs
Thread Root
- Subject: Re: 5-day Course on Cambridge HOL System
- From: msaltzman
- Date: Sun, 07 Apr 1991 02:19
- Article: 362