| Tue, 17 Jul 2007 16:05:34 +0200 | berghofe | Added clause for hypotheses to proof_of_xml function. | changeset | files |
| Tue, 17 Jul 2007 15:59:50 +0200 | wenzelm | use /usr/proj/polyml/polyml-5.1-test, which might be more stable; | changeset | files |
| Tue, 17 Jul 2007 14:38:00 +0200 | krauss | reverted fun->recdef, since there are problems with induction rule | changeset | files |
| Tue, 17 Jul 2007 13:19:47 +0200 | wenzelm | Pure theory setup. | changeset | files |
| Tue, 17 Jul 2007 13:19:39 +0200 | wenzelm | Generic print mode. | changeset | files |
| Tue, 17 Jul 2007 13:19:21 +0200 | wenzelm | moved cd/pwd to ML compatibility layer (simplifies bootstrapping with Alice); | changeset | files |
| Tue, 17 Jul 2007 13:19:20 +0200 | wenzelm | simplified loading of ML files -- no static forward references; | changeset | files |
| Tue, 17 Jul 2007 13:19:19 +0200 | wenzelm | moved print_translations from Pure.thy to Syntax/syn_trans.ML; | changeset | files |