| Sat, 07 Mar 2009 22:12:07 +0100 | wenzelm | replace old bstring by binding for logical primitives: class, type, const etc.; | changeset | files |
| Sat, 07 Mar 2009 22:04:59 +0100 | wenzelm | moved Thm.def_name(_optional) to more_thm.ML; | changeset | files |
| Sat, 07 Mar 2009 21:57:36 +0100 | wenzelm | adapted Syntax.const_name; | changeset | files |
| Sat, 07 Mar 2009 21:20:17 +0100 | wenzelm | canonical argument order for type_name, const_name; | changeset | files |
| Sat, 07 Mar 2009 21:19:24 +0100 | wenzelm | added const_binding; | changeset | files |
| Sat, 07 Mar 2009 21:18:37 +0100 | wenzelm | added prefix_name, suffix_name; | changeset | files |
| Sat, 07 Mar 2009 12:07:30 +0100 | wenzelm | Theory.add_axioms/add_defs: replaced old bstring by binding; | changeset | files |