Thread Tree View: comp.specification
2 messages
Depth: 1
Cached
Build time: 808.87µsms
| 2 messages | Max depth: 1
Thread Tree
2 nodes
max depth: 1
1 leaves
Root Message
Proof rules for Angelic choice
From: Gary Leavens
Date: Mon, 16 Jul 1990 21:42
Article: 144
Message-ID: <2265@dino.cs.iastate.edu>
Debug Information
Tree Statistics
- Root Article: 144
- Message Count: 2
- Max Depth: 1
- Cache Hit: Yes
- Build Time: 808.87µs
Thread Root
- Subject: Proof rules for Angelic choice
- From: Gary Leavens
- Date: Mon, 16 Jul 1990 21:42
- Article: 144