| Mon, 17 Aug 1998 11:00:27 +0200 |
nipkow |
Additions to Lex.
|
file |
diff |
annotate
|
| Wed, 12 Aug 1998 16:23:25 +0200 |
oheimb |
cleanup for Fun.thy:
|
file |
diff |
annotate
|
| Thu, 06 Aug 1998 12:46:18 +0200 |
nipkow |
New lemmas in List and Lambda in IsaMakefile
|
file |
diff |
annotate
|
| Tue, 04 Aug 1998 18:40:18 +0200 |
wenzelm |
added LocaleGroup, PiSets examples;
|
file |
diff |
annotate
|
| Fri, 31 Jul 1998 10:52:08 +0200 |
paulson |
Removed HOL/IMP/Com.ML because it contained only an "open" declaration
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 17:55:57 +0200 |
wenzelm |
added ex/MonoidGroups (record example);
|
file |
diff |
annotate
|
| Fri, 24 Jul 1998 13:03:20 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Fri, 03 Jul 1998 17:35:39 +0200 |
wenzelm |
stepping stones: Recdef, Main;
|
file |
diff |
annotate
|
| Thu, 02 Jul 1998 16:44:39 +0200 |
wenzelm |
fixed Integ;
|
file |
diff |
annotate
|
| Tue, 30 Jun 1998 20:42:47 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Thu, 25 Jun 1998 13:57:34 +0200 |
paulson |
Installation of target HOL-Real
|
file |
diff |
annotate
|
| Thu, 11 Jun 1998 18:18:37 +0200 |
nipkow |
removed rel.ML
|
file |
diff |
annotate
|
| Mon, 11 May 1998 13:18:25 +0200 |
nipkow |
Lex
|
file |
diff |
annotate
|
| Tue, 05 May 1998 17:28:22 +0200 |
paulson |
New syntax for function update; moved to main HOL directory
|
file |
diff |
annotate
|
| Wed, 29 Apr 1998 11:38:52 +0200 |
wenzelm |
removed typedef.ML, record.ML;
|
file |
diff |
annotate
|