| Sat, 11 Mar 2006 16:53:23 +0100 | wenzelm | added read_class, read/cert_classrel/arity (from axclass.ML); | changeset | files |
| 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 |
| Fri, 10 Mar 2006 19:49:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 10 Mar 2006 17:57:09 +0100 | paulson | exporting reapAll and killChild | changeset | files |