Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+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.
Removed obsolete comment.
20091121, by ballarin
Merged.
20091121, by ballarin
More tests for locale interpretation.
20091121, by ballarin
adapted local theory operations  eliminated odd kind;
20091121, by wenzelm
minimal Poly/ML startup script;
20091121, by wenzelm
explicitly mark some legacy freeze operations;
20091121, by wenzelm
minimal test of current repository version;
20091121, by wenzelm
slightly longer log tail;
20091121, by wenzelm
add explicit platform check to wwwfind tool
20091121, by kleing
adjusted help text
20091121, by kleing
wwwfind support currently for Linux only
20091121, by kleing
make repdef work without (open) option
20091120, by huffman
NEWS: HOLCF changes since the last release
20091120, by huffman
removed hard tabs from text (not pattern);
20091120, by wenzelm
standardized headers;
20091120, by wenzelm
provide standard isabelle make targets;
20091120, by wenzelm
merged
20091120, by wenzelm
load ML directly into theory Code_Generator (quickcheck also requires this);
20091120, by wenzelm
made script executable
20091120, by kleing
added NEWS item for wwwfind
20091120, by kleing
WWW_Find component: find_theorems via web browser
20091120, by kleing
merged
20091120, by wenzelm
merged
20091120, by nipkow
Rene tuned proof
20091120, by nipkow
example theory for new domain package
20091120, by huffman
thy_decl outer syntax for repdef
20091119, by huffman
merged
20091119, by huffman
nicer warning message for indirectrecursive domain definitions
20091119, by huffman
store map_ID thms in theory data; automate proofs of reach lemmas
20091119, by huffman
add map_ID lemmas
20091119, by huffman
domain_isomorphism package defines combined copy function
20091119, by huffman
merged
20091120, by nipkow
added Rene Thiemann's normalize function
20091120, by nipkow
added lemma
20091120, by nipkow
merged
20091119, by huffman
domain_isomorphism package defines copy functions
20091119, by huffman
copy_of_dtyp uses map table from theory data
20091119, by huffman
Domain.thy imports Representable.thy
20091119, by huffman
fix definitions of copy combinators
20091119, by huffman
clean up indentation; add 'definitional' option flag
20091119, by huffman
rename generated abs_iso, rep_iso lemmas
20091119, by huffman
clean up indentation
20091119, by huffman
add dependency on domain_isomorphism.ML
20091119, by huffman
set up domain_isomorphism package in Representable.thy
20091119, by huffman
automate proofs of map_ID theorems
20091119, by huffman
change Theory.requires
20091119, by huffman
use theory data for REP_simps and isodefl_rules
20091119, by huffman
replace defl_tab and map_tab with theory data
20091119, by huffman
separate conjuncts of isodefl theorem
20091119, by huffman
automate isodefl proof
20091119, by huffman
change example to use recursion with continuous function space
20091119, by huffman
add lemma isodefl_cprod
20091119, by huffman
automate definition of map functions; remove unused code
20091119, by huffman
change naming convention for deflation combinators
20091119, by huffman
add new makefile dependencies
20091119, by huffman
prove isomorphism and isodefl rules
20091119, by huffman
avoid using csplit; define copy functions exactly like the current domain package
20091119, by huffman
merged
20091119, by huffman
remove one_typ and tr_typ; add abs/rep lemmas
20091118, by huffman
automate definition of rep/abs functions
20091118, by huffman
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip