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 |