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 |