Thread Tree View: comp.sys.transputer
2 messages
Depth: 1
Cached
Build time: 944.849µsms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
re proving programs correct
From: "Phillip M. Hallam-Baker"
Date: Mon, 20 May 1991 22:29
Article: 1681
Message-ID: <4202.9105202128@prg.oxford.ac.uk>
Debug Information
Tree Statistics
- Root Article: 1681
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 944.849µs
Thread Root
- Subject: re proving programs correct
- From: "Phillip M. Hallam-Baker"
- Date: Mon, 20 May 1991 22:29
- Article: 1681