Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
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.
merged
20100303, by bulwahn
made smlnj happy
20100302, by bulwahn
adding depth to predicate compile quickcheck for mutabelle tests; removing obsolete references in predicate compile quickcheck
20100302, by bulwahn
adding HOLMutabelle to tests
20100302, by bulwahn
merged
20100303, by haftmann
more explicit naming scheme
20100303, by haftmann
merged
20100302, by huffman
adapt to changed variable name in casedist theorem
20100302, by huffman
remove dependency on domain_syntax.ML
20100302, by huffman
update HOLCF makefile
20100302, by huffman
simplify add_axioms function; remove obsolete domain_syntax.ML
20100302, by huffman
proof scripts use variable name y for casedist
20100302, by huffman
fixrec and repdef modules import holcf_library
20100302, by huffman
use y as variable name in casedist, like datatype package
20100302, by huffman
proper names for types cfun, sprod, ssum
20100302, by huffman
variable name changed
20100302, by huffman
fix proof script for take_apps so it works with indirect recursion
20100302, by huffman
remove dead code
20100302, by huffman
remove unused mixfix component from type cons
20100302, by huffman
cleaned up, added type annotations
20100302, by huffman
remove unused selector field from type arg
20100302, by huffman
add_syntax no longer needs a definitional mode
20100302, by huffman
add_axioms no longer needs a definitional mode
20100302, by huffman
get rid of primes on thy variables
20100302, by huffman
move definition of finiteness predicate into domain_take_proofs.ML
20100302, by huffman
move takerelated definitions and proofs to new module; simplify map_of_typ functions
20100302, by huffman
remove map_tab argument to calc_axioms
20100302, by huffman
remove dead code
20100302, by huffman
merged
20100302, by paulson
Slightly generalised a theorem
20100302, by paulson
less
more

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