Tue, 02 Mar 2010 18:16:28 -0800 |
huffman |
fixrec and repdef modules import holcf_library
|
file |
diff |
annotate
|
Tue, 02 Mar 2010 17:21:10 -0800 |
huffman |
proper names for types cfun, sprod, ssum
|
file |
diff |
annotate
|
Wed, 24 Feb 2010 20:37:01 +0100 |
wenzelm |
allow general mixfix syntax for type constructors;
|
file |
diff |
annotate
|
Thu, 18 Feb 2010 23:37:43 +0100 |
wenzelm |
Sign.restore_naming -- slightly more robust;
|
file |
diff |
annotate
|
Mon, 15 Feb 2010 17:17:51 +0100 |
wenzelm |
discontinued unnamed infix syntax;
|
file |
diff |
annotate
|
Sun, 07 Feb 2010 19:33:34 +0100 |
wenzelm |
renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation;
|
file |
diff |
annotate
|
Fri, 20 Nov 2009 15:29:56 -0800 |
huffman |
make repdef work without (open) option
|
file |
diff |
annotate
|
Thu, 19 Nov 2009 23:15:24 -0800 |
huffman |
thy_decl outer syntax for repdef
|
file |
diff |
annotate
|
Fri, 13 Nov 2009 16:10:04 -0800 |
huffman |
LocalTheory -> Local_Theory
|
file |
diff |
annotate
|
Fri, 13 Nov 2009 15:31:20 -0800 |
huffman |
automate definition of representable domains from algebraic deflations
|
file |
diff |
annotate
|