Thu, 13 Apr 2006 12:00:53 +0200 | wenzelm | Meta-level conjunction. | changeset | files |
Thu, 13 Apr 2006 12:00:51 +0200 | wenzelm | added conjunction.ML; | changeset | files |
Thu, 13 Apr 2006 12:00:50 +0200 | wenzelm | Sign.typ_equiv; | changeset | files |
Thu, 13 Apr 2006 11:22:44 +0200 | haftmann | added subversion treatment | changeset | files |
Tue, 11 Apr 2006 16:00:09 +0200 | wenzelm | classes: prefer thy operations; | changeset | files |
Tue, 11 Apr 2006 16:00:08 +0200 | wenzelm | export pretty_classrel/arity; | changeset | files |