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