| Thu, 18 Dec 2008 11:00:13 -0800 |
huffman |
constdefs -> definition
|
file |
diff |
annotate
|
| Tue, 16 Dec 2008 21:31:55 -0800 |
huffman |
remove cvs Id tags
|
file |
diff |
annotate
|
| Thu, 11 Dec 2008 16:50:18 +0100 |
wenzelm |
pcpodef package: state two goals, instead of encoded conjunction;
|
file |
diff |
annotate
|
| Tue, 25 Nov 2008 23:29:01 +0100 |
huffman |
separate run and cases combinators
|
file |
diff |
annotate
|
| Thu, 07 Feb 2008 03:30:32 +0100 |
huffman |
fix broken syntax translations
|
file |
diff |
annotate
|
| Tue, 23 Oct 2007 13:29:16 +0200 |
wenzelm |
translations: use XCONST for input patterns (keeps original spelling of const);
|
file |
diff |
annotate
|
| Sun, 21 Oct 2007 14:21:48 +0200 |
wenzelm |
modernized specifications ('definition', 'abbreviation', 'notation');
|
file |
diff |
annotate
|
| Thu, 31 May 2007 14:01:58 +0200 |
wenzelm |
moved HOLCF tools to canonical place;
|
file |
diff |
annotate
|
| Thu, 13 Apr 2006 23:14:18 +0200 |
huffman |
hide common name of constant 'run'
|
file |
diff |
annotate
|
| Mon, 10 Apr 2006 00:34:46 +0200 |
wenzelm |
hide (open) const;
|
file |
diff |
annotate
|
| Fri, 24 Mar 2006 19:30:01 +0100 |
huffman |
lazy patterns in lambda abstractions
|
file |
diff |
annotate
|
| Sun, 19 Feb 2006 01:40:13 +0100 |
huffman |
use qualified name for return
|
file |
diff |
annotate
|
| Fri, 17 Feb 2006 01:46:38 +0100 |
huffman |
make maybe into a real type constructor; remove monad syntax
|
file |
diff |
annotate
|
| Wed, 30 Nov 2005 01:01:15 +0100 |
huffman |
reimplement Case expression pattern matching to support lazy patterns
|
file |
diff |
annotate
|
| Mon, 07 Nov 2005 23:33:01 +0100 |
huffman |
reimplemented Case syntax using print/parse translations; moved as-patterns to separate section
|
file |
diff |
annotate
|
| Mon, 07 Nov 2005 19:23:53 +0100 |
huffman |
remove syntax for as-patterns
|
file |
diff |
annotate
|
| Sun, 06 Nov 2005 01:21:37 +0100 |
huffman |
add case syntax stuff
|
file |
diff |
annotate
|
| Sun, 06 Nov 2005 00:35:24 +0100 |
huffman |
use consts for infix syntax
|
file |
diff |
annotate
|
| Sat, 05 Nov 2005 21:56:45 +0100 |
huffman |
simplify definitions
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 18:44:32 +0200 |
huffman |
changed orientation of bind_assoc rule
|
file |
diff |
annotate
|
| Tue, 12 Jul 2005 18:20:44 +0200 |
huffman |
generalized types of monadic operators to class cpo; added match function for UU
|
file |
diff |
annotate
|
| Fri, 08 Jul 2005 03:12:58 +0200 |
huffman |
fix typo
|
file |
diff |
annotate
|
| Fri, 08 Jul 2005 02:41:35 +0200 |
huffman |
renamed upE1 to upE
|
file |
diff |
annotate
|
| Thu, 23 Jun 2005 21:17:26 +0200 |
huffman |
added match functions for spair, sinl, sinr
|
file |
diff |
annotate
|
| Sat, 18 Jun 2005 00:38:18 +0200 |
huffman |
fixrec shows unsolved subgoals when proofs of rewrites fail
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 18:50:40 +0200 |
huffman |
added match functions for ONE, TT, and FF; added theorem mplus_fail2
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|
| Wed, 15 Jun 2005 20:50:38 +0200 |
huffman |
fixrec package now handles mutually-recursive definitions
|
file |
diff |
annotate
|
| Sat, 04 Jun 2005 02:11:47 +0200 |
huffman |
use fixrec_package.ML
|
file |
diff |
annotate
|
| Sat, 04 Jun 2005 00:22:08 +0200 |
huffman |
New theory with lemmas for the fixrec package
|
file |
diff |
annotate
|