Thread Tree View: comp.specification
1 messages
Depth: 0
Cached
Build time: 763.214µsms
| 1 messages | Max depth: 0
Thread Tree
1 nodes
max depth: 0
1 leaves
Root Message
Formal Reasoning System (Mural) offered to Academics
From: Ian Cottam
Date: Thu, 27 Jun 1991 11:26
Article: 475
Message-ID: <2801@m1.cs.man.ac.uk>
Debug Information
Tree Statistics
- Root Article: 475
- Message Count: 1
- Max Depth: 0
- Cache Hit: Yes
- Build Time: 763.214µs
Thread Root
- Subject: Formal Reasoning System (Mural) offered to Academics
- From: Ian Cottam
- Date: Thu, 27 Jun 1991 11:26
- Article: 475