| Fri, 21 Apr 2000 11:31:38 +0200 | paulson | cleaner exceptions | changeset | files |
| Fri, 21 Apr 2000 11:31:03 +0200 | paulson | now works for coefficients, not just for numerals | changeset | files |
| Fri, 21 Apr 2000 11:29:57 +0200 | paulson | new file containing simproc invocations, from NatBin.ML | changeset | files |
| Fri, 21 Apr 2000 11:29:33 +0200 | paulson | moved the simproc code to NatSimprocs.ML | changeset | files |
| Fri, 21 Apr 2000 11:28:34 +0200 | paulson | Provers/Arith/inverse_fold.ML is already obsolete | changeset | files |
| Fri, 21 Apr 2000 11:28:18 +0200 | paulson | new file Integ/NatSimprocs.ML | changeset | files |
| Fri, 21 Apr 2000 11:27:28 +0200 | paulson | Provers/Arith/inverse_fold.ML is already obsolete | changeset | files |
| Thu, 20 Apr 2000 09:54:56 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 19 Apr 2000 15:27:08 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 19 Apr 2000 14:22:11 +0200 | wenzelm | TuturialI; | changeset | files |
| Wed, 19 Apr 2000 13:40:42 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 19 Apr 2000 13:20:16 +0200 | wenzelm | check_file: keep expanded (!) absolute path; | changeset | files |
| Wed, 19 Apr 2000 12:59:38 +0200 | nipkow | Adding generated files | changeset | files |
| Wed, 19 Apr 2000 12:59:21 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 19 Apr 2000 12:56:24 +0200 | wenzelm | fixed -c default value; | changeset | files |
| Wed, 19 Apr 2000 12:54:56 +0200 | nipkow | Adding generated files. | changeset | files |
| Wed, 19 Apr 2000 11:56:31 +0200 | nipkow | I wonder which files i forgot. | changeset | files |
| Wed, 19 Apr 2000 11:56:06 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 19 Apr 2000 11:54:39 +0200 | nipkow | I wonder if that's all? | changeset | files |
| 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 |
| Fri, 14 Apr 2000 16:12:46 +0200 | wenzelm | \newenvironment{isabellequote}; | changeset | files |
| Fri, 14 Apr 2000 15:55:40 +0200 | wenzelm | global \isa@parindent, \isa@parskip; | changeset | files |
| Fri, 14 Apr 2000 01:14:51 +0200 | wenzelm | use HOLogic.termT; | changeset | files |
| Thu, 13 Apr 2000 17:49:42 +0200 | wenzelm | outer syntax: no simps; | changeset | files |
| Thu, 13 Apr 2000 17:49:08 +0200 | wenzelm | recdef: no simps; | changeset | files |
| Thu, 13 Apr 2000 15:19:37 +0200 | paulson | stopped using the obsolete "nat_ind_tac" | changeset | files |
| Thu, 13 Apr 2000 15:18:02 +0200 | paulson | added some new iff-lemmas; removed some obsolete thms | changeset | files |
| Thu, 13 Apr 2000 15:16:32 +0200 | paulson | tidied | changeset | files |
| Thu, 13 Apr 2000 15:11:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 13 Apr 2000 15:02:57 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 13 Apr 2000 15:02:02 +0200 | wenzelm | Simplifier options; | changeset | files |
| Thu, 13 Apr 2000 15:01:50 +0200 | nipkow | Times -> <*> | changeset | files |
| Thu, 13 Apr 2000 15:01:45 +0200 | wenzelm | fixed ??/?; | changeset | files |