| Thu, 11 Apr 1996 08:30:25 +0200 | nipkow | Added a number of lemmas | changeset | files |
| Tue, 09 Apr 1996 12:12:27 +0200 | berghofe | select_match now sorts list of matching theorems according to the | changeset | files |
| Thu, 04 Apr 1996 20:13:46 +0200 | nipkow | Replaced !simpset by HOL_ss on line 93. | changeset | files |
| Thu, 04 Apr 1996 18:18:48 +0200 | paulson | Proved Inter_0 and converse_INT | changeset | files |
| Thu, 04 Apr 1996 18:18:08 +0200 | paulson | deleted obsolete comment | changeset | files |
| Thu, 04 Apr 1996 18:01:47 +0200 | nipkow | Added 'constdefs' | changeset | files |
| Thu, 04 Apr 1996 18:01:26 +0200 | nipkow | Added 'constdefs' and extended the section on 'defs' | changeset | files |