| Sun, 22 Jan 2006 21:58:43 +0100 | urbanc | a fixme comments about abs_fun_if, which should be called perm_if | changeset | files |
| Sun, 22 Jan 2006 18:46:01 +0100 | wenzelm | Local theory operations, with optional target locale. | changeset | files |
| Sun, 22 Jan 2006 18:46:00 +0100 | wenzelm | added restore_body; | changeset | files |
| Sun, 22 Jan 2006 18:45:59 +0100 | wenzelm | added the_params; | changeset | files |
| Sun, 22 Jan 2006 18:45:58 +0100 | wenzelm | tuned order; | changeset | files |
| Sun, 22 Jan 2006 18:45:57 +0100 | wenzelm | added Isar/local_theory.ML; | changeset | files |
| Sat, 21 Jan 2006 23:22:40 +0100 | mengj | Ensure dereference is delayed. | changeset | files |
| Sat, 21 Jan 2006 23:07:26 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 21 Jan 2006 23:02:30 +0100 | wenzelm | * ML: simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:29 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:28 +0100 | wenzelm | removed duplicate type_solver (cf. Tools/typechk.ML); | changeset | files |
| Sat, 21 Jan 2006 23:02:27 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:25 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:24 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:23 +0100 | wenzelm | rename map_theory/proof to theory/proof_map; | changeset | files |
| Sat, 21 Jan 2006 23:02:21 +0100 | wenzelm | tuned proofs; | changeset | files |
| Sat, 21 Jan 2006 23:02:20 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Sat, 21 Jan 2006 23:02:14 +0100 | wenzelm | simplified type attribute; | changeset | files |
| Fri, 20 Jan 2006 04:53:59 +0100 | mengj | type information is now also printed. | changeset | files |
| Fri, 20 Jan 2006 04:50:01 +0100 | mengj | added some debugging code. | changeset | files |
| Fri, 20 Jan 2006 04:35:23 +0100 | mengj | fixed a bug | changeset | files |
| Thu, 19 Jan 2006 21:22:30 +0100 | wenzelm | quote "atom"; | changeset | files |
| Thu, 19 Jan 2006 21:22:29 +0100 | wenzelm | updated; | changeset | files |
| Thu, 19 Jan 2006 21:22:27 +0100 | wenzelm | * ML/Isar: theory setup has type (theory -> theory); | changeset | files |
| Thu, 19 Jan 2006 21:22:26 +0100 | wenzelm | use/use_thy: Output.toplevel_errors; | changeset | files |
| Thu, 19 Jan 2006 21:22:25 +0100 | wenzelm | added basic syntax; | changeset | files |
| Thu, 19 Jan 2006 21:22:24 +0100 | wenzelm | moved pure syntax to Syntax/syntax.ML and pure_thy.ML; | changeset | files |
| Thu, 19 Jan 2006 21:22:23 +0100 | wenzelm | keep: disable Output.toplevel_errors; | changeset | files |