| Sat, 07 Oct 2006 01:31:22 +0200 | wenzelm | Element.export_facts; | changeset | files |
| Sat, 07 Oct 2006 01:31:20 +0200 | wenzelm | refined unlocalize_mixfix; | changeset | files |
| Sat, 07 Oct 2006 01:31:19 +0200 | wenzelm | TheoryTarget; | changeset | files |
| Sat, 07 Oct 2006 01:31:18 +0200 | wenzelm | moved pretty_consts to proof_display.ML; | changeset | files |
| Sat, 07 Oct 2006 01:31:17 +0200 | wenzelm | added pretty_consts (from specification.ML); | changeset | files |
| Sat, 07 Oct 2006 01:31:16 +0200 | wenzelm | turned into abstract wrapper module, cf. theory_target.ML; | changeset | files |