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