| Mon, 29 May 1995 14:12:48 +0200 | clasohm | replaced "All" by "all" in ThmdbFUN's ignore parameter | changeset | files |
| Mon, 29 May 1995 13:55:06 +0200 | clasohm | added theorem database which contains axioms and theorems indexed by the | changeset | files |
| Sun, 28 May 1995 17:18:06 +0200 | nipkow | Added Church-Rosser | changeset | files |
| Sun, 28 May 1995 17:17:43 +0200 | nipkow | Added trancl_cs | changeset | files |
| Sat, 27 May 1995 16:10:10 +0200 | nipkow | Moved Relation from Integ to main HOL. | changeset | files |
| Fri, 26 May 1995 18:11:47 +0200 | nipkow | Trancl is now based on Relation which used to be in Integ. | changeset | files |