Thread Tree View: comp.specification
5 messages
Depth: 3
Cached
Build time: 1.138931msms
| 5 messages | Max depth: 3
Thread Tree
5 nodes
max depth: 3
2 leaves
Root Message
Proof rules for angelic choice?
From: Gary Leavens
Date: Wed, 27 Jun 1990 15:14
Article: 130
Message-ID: <2103@dino.cs.iastate.edu>
Debug Information
Tree Statistics
- Root Article: 130
- Message Count: 5
- Max Depth: 3
- Cache Hit: Yes
- Build Time: 1.138931ms
Thread Root
- Subject: Proof rules for angelic choice?
- From: Gary Leavens
- Date: Wed, 27 Jun 1990 15:14
- Article: 130