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 |