| Thu, 12 Oct 2000 18:38:23 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Wed, 30 Aug 2000 13:54:57 +0200 |
berghofe |
Improved names for size function.
|
file |
diff |
annotate
|
| Tue, 13 Jun 2000 18:34:59 +0200 |
wenzelm |
rename @case to _case_syntax (improves on low-level errors);
|
file |
diff |
annotate
|
| Tue, 28 Mar 2000 17:32:24 +0200 |
nipkow |
added weak_case_cong feature
|
file |
diff |
annotate
|
| Mon, 13 Mar 2000 13:21:39 +0100 |
wenzelm |
use HOLogic.Not;
|
file |
diff |
annotate
|
| Mon, 04 Oct 1999 21:46:13 +0200 |
wenzelm |
eliminated ap/app;
|
file |
diff |
annotate
|
| Fri, 16 Jul 1999 12:14:04 +0200 |
berghofe |
- Datatype package now also supports arbitrarily branching datatypes
|
file |
diff |
annotate
|
| Wed, 17 Mar 1999 16:53:46 +0100 |
wenzelm |
Theory.sign_of;
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 16:36:21 +0200 |
wenzelm |
fixed Syntax module;
|
file |
diff |
annotate
|
| Sat, 26 Sep 1998 16:13:05 +0200 |
berghofe |
Package now chooses type variable names more carefully to
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 12:50:06 +0200 |
berghofe |
New datatype definition package
|
file |
diff |
annotate
|