| Title: | Automated Reasoning Tool |
| Moderator: | INSANE::SYSTEM |
| Created: | Thu May 08 1986 |
| Last Modified: | Thu Jul 15 1993 |
| Last Successful Update: | Fri Jun 06 1997 |
| Number of topics: | 36 |
| Total number of notes: | 106 |
| T.R | Title | User | Personal Name | Date | Lines |
|---|---|---|---|---|---|
| 9.1 | A *SENSITIVE* Rumour | EXPERT::WINN | Geoff Winn @VRO3-1/AI | Thu Oct 16 1986 13:26 | 27 |
| 9.2 | Symbolics = boat_anchor | PHOBOS::WICKERT | Dave. DTN:321-5206 | Thu Oct 16 1986 13:41 | 24 |
| 9.3 | Symbolics = ship_anchor? | EXPERT::WINN | Geoff Winn @VRO3-1/AI | Thu Oct 16 1986 17:32 | 15 |
| 9.4 | My two cents... | SAHQ::HENNESSY | Drink milk, the udder uncola | Mon Dec 08 1986 11:53 | 10 |