| 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 |