T.R | Title | User | Personal Name | Date | Lines |
---|
25.1 | What hol90 runs on | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:37 | 66 |
25.2 | A new release of hol90 | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:38 | 380 |
25.3 | Expected features in version 4 | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:40 | 32 |
25.4 | Where to get SML | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:40 | 113 |
25.5 | hol90 at Sun | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:41 | 15 |
25.6 | hol90 at Cambridge | RICKS::LEONARD | Tim Leonard, Formal Alpha Verification | Tue Nov 17 1992 16:42 | 8 |
25.7 | hol90 version 5 | RICKS::LEONARD | Tim Leonard, Formal Verification | Thu Sep 09 1993 14:58 | 104 |
25.8 | new hol90 libraries | RICKS::LEONARD | Tim Leonard, Formal Verification | Thu Sep 09 1993 15:00 | 74
|