| Wed, 19 Apr 2000 11:13:31 +0200 | paulson | deleted obsolete lemma_not_leI2 | changeset | files |
| Wed, 19 Apr 2000 11:09:59 +0200 | paulson | removal of less_SucI, le_SucI from default simpset | changeset | files |
| Tue, 18 Apr 2000 15:56:41 +0200 | paulson | replaced obsolete diff_right_cancel by diff_diff_eq | changeset | files |
| Tue, 18 Apr 2000 15:54:56 +0200 | paulson | added number_of_const: term | changeset | files |
| Tue, 18 Apr 2000 15:54:31 +0200 | paulson | tidied | changeset | files |
| Tue, 18 Apr 2000 15:53:50 +0200 | paulson | instantiates new simprocs for numerals of type "nat" | changeset | files |
| Tue, 18 Apr 2000 15:51:59 +0200 | paulson | new simprocs for numerals of type "nat" | changeset | files |
| Tue, 18 Apr 2000 14:57:18 +0200 | wenzelm | emilimated global names; | changeset | files |
| Tue, 18 Apr 2000 14:54:08 +0200 | wenzelm | removed obsolete "simpset" keyword; | changeset | files |
| Tue, 18 Apr 2000 00:49:49 +0200 | wenzelm | renamed 'hide' to 'hide_action'; | changeset | files |
| Tue, 18 Apr 2000 00:36:02 +0200 | wenzelm | fixed theory deps; | changeset | files |
| Mon, 17 Apr 2000 14:27:10 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 17 Apr 2000 14:20:41 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 17 Apr 2000 14:12:33 +0200 | wenzelm | * improved name spaces: ambiguous output is qualified; support for | changeset | files |
| Mon, 17 Apr 2000 14:10:38 +0200 | wenzelm | improved output of ambiguous entries; | changeset | files |
| Mon, 17 Apr 2000 14:10:04 +0200 | wenzelm | Pretty.chunks; | changeset | files |
| Mon, 17 Apr 2000 14:08:51 +0200 | wenzelm | 'global' / 'local': comment; | changeset | files |
| Mon, 17 Apr 2000 14:08:19 +0200 | wenzelm | name space hide operations; | changeset | files |
| Mon, 17 Apr 2000 14:07:00 +0200 | wenzelm | global/local_path: comment; | changeset | files |
| Mon, 17 Apr 2000 14:06:05 +0200 | wenzelm | added 'hide'; | changeset | files |
| Mon, 17 Apr 2000 14:04:46 +0200 | wenzelm | tuned msg; | changeset | files |
| Mon, 17 Apr 2000 14:03:51 +0200 | wenzelm | NameSpace.is_qualified; | changeset | files |
| Mon, 17 Apr 2000 13:57:55 +0200 | wenzelm | Pretty.chunks; | changeset | files |
| Sat, 15 Apr 2000 17:41:20 +0200 | nipkow | mod to error msg | changeset | files |
| Sat, 15 Apr 2000 15:01:31 +0200 | wenzelm | next_block: reset_facts; | changeset | files |
| Sat, 15 Apr 2000 15:00:57 +0200 | wenzelm | plain ASCII; | changeset | files |
| Fri, 14 Apr 2000 17:30:22 +0200 | wenzelm | intrn_arity: reject type abbreviations; | changeset | files |
| Fri, 14 Apr 2000 17:29:57 +0200 | wenzelm | added is_type_abbr; | changeset | files |