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 |