| Sat, 11 Mar 2006 16:53:20 +0100 | wenzelm | moved read_class, read/cert_classrel/arity to sign.ML; | changeset | files |
| Sat, 11 Mar 2006 16:53:14 +0100 | wenzelm | use axclass.ML earlier (in Isar/ROOT.ML); | changeset | files |
| Sat, 11 Mar 2006 16:53:10 +0100 | wenzelm | nbe: no_document; | changeset | files |