Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
major reorganization and cleanup;
20050604, by wenzelm
added new website
20050604, by haftmann
added explicit dependency on Fix theory
20050604, by huffman
add keywords fixrec and fixpat for HOLCF fixrec package
20050604, by huffman
fix imports
20050604, by huffman
use fixrec_package.ML
20050604, by huffman
import Fix is unnecessary
20050604, by huffman
added fixrec_package.ML
20050604, by huffman
implementation of fixrec package
20050604, by huffman
shrink session graph so it fits on a page
20050604, by huffman
Domain package generates match functions for new datatypes, for use with the fixrec package
20050604, by huffman
add dependency on Fixrec.thy
20050604, by huffman
add Fixrec.thy
20050604, by huffman
New theory with lemmas for the fixrec package
20050604, by huffman
changed variable name in monofun_cfun_arg
20050603, by huffman
fixed renamed theorems
20050603, by huffman
fixed some renamed theorems
20050603, by huffman
renamed defined lemmas
20050603, by huffman
renamed variable in cont2cont_app
20050603, by huffman
changed to use new contlubI, etc.
20050603, by huffman
cleaned up proof of cont_Ifix
20050603, by huffman
replaced cont with cont_def
20050603, by huffman
renamed strict, defined, and inject lemmas; renamed sfst2, ssnd2 to sfst_spair, ssnd_spair
20050603, by huffman
changed to use new contI; renamed strict, defined, and inject lemmas
20050603, by huffman
changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
20050603, by huffman
removed dependencies on MF2 lemmas; removed some obsolete theorems; cleaned up many proofs; renamed less_cfun2 to less_cfun_ext
20050603, by huffman
changed to work with new contI, contlubE, etc.; renamed strictness rules for consistency
20050603, by huffman
changed to work with new contlubE rule
20050603, by huffman
renamed FunCpo to Ffun
20050603, by huffman
renamed to Ffun (full function space)
20050603, by huffman
less
more

(0)
10000
3000
1000
300
100
50
30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip