| Wed, 10 Nov 2010 11:42:35 -0800 |
huffman |
rename class 'bifinite' to 'domain'
|
file |
diff |
annotate
|
| Fri, 08 Oct 2010 07:39:50 -0700 |
huffman |
rename class 'sfp' to 'bifinite'
|
file |
diff |
annotate
|
| Wed, 06 Oct 2010 10:49:27 -0700 |
huffman |
major reorganization/simplification of HOLCF type classes:
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 12:07:52 +0200 |
wenzelm |
renamed command 'defaultsort' to 'default_sort';
|
file |
diff |
annotate
|
| Mon, 22 Mar 2010 21:37:48 -0700 |
huffman |
use Pair instead of cpair
|
file |
diff |
annotate
|
| Mon, 22 Mar 2010 21:33:31 -0700 |
huffman |
use fixrec_simp instead of fixpat
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 20:15:25 -0800 |
huffman |
renamed some lemmas generated by the domain package
|
file |
diff |
annotate
|
| Sat, 13 Mar 2010 10:00:45 -0800 |
huffman |
fixrec now generates qualified theorem names
|
file |
diff |
annotate
|
| Wed, 17 Feb 2010 09:08:58 -0800 |
huffman |
fix warnings about duplicate simp rules
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 19:05:46 -0800 |
huffman |
fixrec package uses new-style syntax and local-theory interface
|
file |
diff |
annotate
|
| Thu, 19 Feb 2009 09:39:49 -0800 |
huffman |
add Powerdomain_ex.thy
|
file |
diff |
annotate
|