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 |
Fri, 26 May 1995 11:20:08 +0200 | wenzelm | changed macro expander such that patterns also match prefixes of appls; | changeset | files |
Mon, 22 May 1995 16:00:26 +0200 | nipkow | Moved comment from ParRed.thy to ROOT.ML | changeset | files |
Mon, 22 May 1995 15:58:57 +0200 | nipkow | Added Park induction to Lfp. | changeset | files |