| Sun, 29 Jul 2007 14:29:54 +0200 | wenzelm | renamed Drule.add/del/merge_rules to Thm.add/del/merge_thms; | changeset | files |
| Sun, 29 Jul 2007 14:29:52 +0200 | wenzelm | replaced make_imp by rev_mp; | changeset | files |
| Sun, 29 Jul 2007 14:29:51 +0200 | wenzelm | proper simproc_setup for "list_neq"; | changeset | files |
| Sun, 29 Jul 2007 14:29:50 +0200 | wenzelm | removed obsolete Tools/res_atpset.ML; | changeset | files |
| Sun, 29 Jul 2007 14:29:49 +0200 | wenzelm | simplified ResAtpset via NamedThmsFun; | changeset | files |
| Sun, 29 Jul 2007 14:29:48 +0200 | wenzelm | simplified "eval" setup via NamedThmsFun; | changeset | files |
| Sat, 28 Jul 2007 22:19:31 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jul 2007 22:17:46 +0200 | wenzelm | * Isar: command 'declaration'; | changeset | files |
| Sat, 28 Jul 2007 22:01:06 +0200 | wenzelm | type Morphism.declaration; | changeset | files |
| Sat, 28 Jul 2007 22:01:01 +0200 | wenzelm | attribute "option": proper naming within the theory | changeset | files |
| Sat, 28 Jul 2007 22:01:00 +0200 | wenzelm | removed dead code; | changeset | files |
| Sat, 28 Jul 2007 22:00:59 +0200 | wenzelm | declaration: proper naming within the theory; | changeset | files |
| Sat, 28 Jul 2007 22:00:58 +0200 | wenzelm | use config_option.ML after sign.ML; | changeset | files |
| Sat, 28 Jul 2007 21:09:14 +0200 | wenzelm | commands 'declare', 'declaration'; | changeset | files |
| Sat, 28 Jul 2007 20:40:31 +0200 | wenzelm | added :|-- (dependent projection); | changeset | files |
| Sat, 28 Jul 2007 20:40:30 +0200 | wenzelm | added attribute "simproc"; | changeset | files |
| Sat, 28 Jul 2007 20:40:29 +0200 | wenzelm | setmp: NAMED_CRITICAL; | changeset | files |
| Sat, 28 Jul 2007 20:40:27 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 28 Jul 2007 20:40:26 +0200 | wenzelm | added get_cs/map_cs; | changeset | files |
| Sat, 28 Jul 2007 20:40:24 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 28 Jul 2007 20:40:22 +0200 | wenzelm | tuned ML/simproc declarations; | changeset | files |
| Sat, 28 Jul 2007 20:40:20 +0200 | wenzelm | removed redundant simproc declarations; | changeset | files |
| Sat, 28 Jul 2007 20:40:19 +0200 | wenzelm | simproc_setup fun_upd2; | changeset | files |
| Sat, 28 Jul 2007 20:40:18 +0200 | wenzelm | added [[decl]] notation; | changeset | files |