Fri, 22 Aug 2003 11:51:42 +0200 |
berghofe |
Improved handling of modes for equality predicate, to avoid ill-typed
|
file |
diff |
annotate
|
Thu, 21 Aug 2003 16:20:45 +0200 |
berghofe |
Fixed problem with "code ind" attribute that caused code generator to
|
file |
diff |
annotate
|
Tue, 07 May 2002 14:26:32 +0200 |
wenzelm |
use eq_thm_prop instead of slightly inadequate eq_thm;
|
file |
diff |
annotate
|
Thu, 07 Mar 2002 12:03:43 +0100 |
berghofe |
- made modes_of more robust
|
file |
diff |
annotate
|
Thu, 20 Dec 2001 17:08:55 +0100 |
berghofe |
Eliminated "query" syntax.
|
file |
diff |
annotate
|
Thu, 20 Dec 2001 15:23:42 +0100 |
berghofe |
Fixed bug in function add.
|
file |
diff |
annotate
|
Thu, 20 Dec 2001 14:58:18 +0100 |
berghofe |
Implemented higher order modes.
|
file |
diff |
annotate
|
Mon, 10 Dec 2001 15:40:55 +0100 |
berghofe |
- Changed type of invoke_codegen
|
file |
diff |
annotate
|
Fri, 31 Aug 2001 18:46:48 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Fri, 31 Aug 2001 16:49:06 +0200 |
berghofe |
New code generators for HOL.
|
file |
diff |
annotate
|