| Sat, 07 Jan 2006 23:28:01 +0100 | wenzelm | Theory specifications --- with type-inference, but no internal polymorphism. | changeset | files |
| Sat, 07 Jan 2006 23:28:00 +0100 | wenzelm | added infer_type, declared_type; | changeset | files |
| Sat, 07 Jan 2006 23:27:59 +0100 | wenzelm | added param, spec, named_spec; | changeset | files |
| Sat, 07 Jan 2006 23:27:58 +0100 | wenzelm | added init; | changeset | files |
| Sat, 07 Jan 2006 23:27:56 +0100 | wenzelm | added 'axiomatization'; | changeset | files |
| Sat, 07 Jan 2006 23:27:55 +0100 | wenzelm | Specification.pretty_consts; | changeset | files |
| Sat, 07 Jan 2006 23:27:53 +0100 | wenzelm | gen_names: preserve empty names; | changeset | files |
| Sat, 07 Jan 2006 23:27:52 +0100 | wenzelm | added Isar/specification.ML; | changeset | files |