| Thu, 17 Jan 2008 00:51:20 +0100 |
huffman |
change class axiom chfin to rule_format
|
file |
diff |
annotate
|
| Mon, 14 Jan 2008 20:28:59 +0100 |
huffman |
class bifinite supersedes class dcpo; remove unnecessary dcpo stuff
|
file |
diff |
annotate
|
| Fri, 04 Jan 2008 00:01:02 +0100 |
huffman |
new instance proofs for classes finite_po, chfin, flat
|
file |
diff |
annotate
|
| Wed, 02 Jan 2008 18:57:40 +0100 |
huffman |
move lemmas from Cont.thy to Ffun.thy;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2008 01:20:18 +0100 |
huffman |
update instance proofs to new style
|
file |
diff |
annotate
|
| Wed, 13 Sep 2006 12:05:50 +0200 |
krauss |
Major update to function package, including new syntax and the (only theoretical)
|
file |
diff |
annotate
|
| Wed, 30 Nov 2005 00:56:01 +0100 |
huffman |
changed section names
|
file |
diff |
annotate
|
| Sat, 05 Nov 2005 21:50:37 +0100 |
huffman |
renamed and added ch2ch, cont2cont, mono2mono theorems ending in _fun, _lambda, _LAM
|
file |
diff |
annotate
|
| Tue, 11 Oct 2005 23:19:50 +0200 |
huffman |
cleaned up; renamed less_fun to expand_fun_less
|
file |
diff |
annotate
|
| Fri, 03 Jun 2005 22:07:30 +0200 |
huffman |
renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
|
file |
diff |
annotate
|