| Wed, 20 May 2009 13:18:14 -0700 |
huffman |
indentation; export Domain_Axioms.calc_axioms
|
file |
diff |
annotate
|
| Wed, 29 Apr 2009 13:36:29 -0700 |
huffman |
use opaque ascription for all HOLCF code
|
file |
diff |
annotate
|
| Tue, 21 Apr 2009 15:57:08 -0700 |
huffman |
make domain package ML interface more consistent with datatype package; use binding instead of bstring
|
file |
diff |
annotate
|
| Sat, 11 Apr 2009 08:44:41 -0700 |
huffman |
change definition of match combinators for fixrec package
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 21:42:02 +0100 |
wenzelm |
added legacy type inference (from fixrec_package.ML);
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 17:26:14 +0100 |
wenzelm |
moved basic algebra of long names from structure NameSpace to Long_Name;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 12:08:00 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 23:36:12 +0100 |
wenzelm |
use long names for old-style fold combinators;
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 10:28:53 -0800 |
huffman |
use TheoryData to keep track of pattern match combinators
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 18:27:43 +0100 |
haftmann |
binding replaces bstring
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
| Tue, 29 Jul 2008 08:15:40 +0200 |
haftmann |
PureThy: dropped note_thmss_qualified, dropped _i suffix
|
file |
diff |
annotate
|
| Tue, 29 Jan 2008 18:00:12 +0100 |
huffman |
new term-building combinators
|
file |
diff |
annotate
|
| Tue, 25 Sep 2007 17:06:14 +0200 |
wenzelm |
proper Sign operations instead of Theory aliases;
|
file |
diff |
annotate
|
| Thu, 31 May 2007 14:01:58 +0200 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|