Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 03 Jun 2005 23:13:08 +0200 renamed theorems monofun, contlub, cont to monofun_def, etc.; changed intro/elim rules for these predicates into more useful rule_format; removed all MF2 lemmas (Pcpo.thy has more general versions now); cleaned up many proofs.
changeset
huffman [Fri, 03 Jun 2005 23:13:08 +0200] rev 16204
renamed theorems monofun, contlub, cont to monofun_def, etc.; changed intro/elim rules for these predicates into more useful rule_format; removed all MF2 lemmas (Pcpo.thy has more general versions now); cleaned up many proofs.
Fri, 03 Jun 2005 22:21:43 +0200 added theorem ch2ch_lub
changeset
huffman [Fri, 03 Jun 2005 22:21:43 +0200] rev 16203
added theorem ch2ch_lub
Fri, 03 Jun 2005 22:07:30 +0200 renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
changeset
huffman [Fri, 03 Jun 2005 22:07:30 +0200] rev 16202
renamed FunCpo theory to Ffun; added theorems ch2ch_fun_rev and app_strict
Fri, 03 Jun 2005 22:04:17 +0200 added theorems diag_lub and ex_lub
changeset
huffman [Fri, 03 Jun 2005 22:04:17 +0200] rev 16201
added theorems diag_lub and ex_lub
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle