| 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 |
|---|---|---|---|---|---|
| 24.1 | Official Announcement in June ? | CSCMA::R_ELDRIDGE | Rick Eldridge | Wed May 06 1987 19:37 | 3 |
| 24.2 | The hot news I heard. | TKOV58::MIMOMI | Fujio Mimomi Tokyo/SWS/AI | Fri May 08 1987 04:26 | 13 |
| 24.3 | Novice Question | P51D::EYRE | Marty Eyre | Fri May 08 1987 14:09 | 6 |
| 24.4 | Re: .3 | TKOV58::MIMOMI | Fujio Mimomi Tokyo/SWS/AI | Mon May 11 1987 01:48 | 11 |