| 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 |