isabelle: Graph

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

Context.>> : operate on Context.generic;
2008-03-28, by wenzelm
avoid rebinding of existing facts;
2008-03-28, by wenzelm
some styling
2008-03-28, by haftmann
some styling
2008-03-28, by haftmann
some styling
2008-03-28, by haftmann
tuned proofs
2008-03-28, by urbanc
tuned;
2008-03-28, by wenzelm
updated dependencies;
2008-03-28, by wenzelm
reorganized signature of ML_Context;
2008-03-28, by wenzelm
remove commented text
2008-03-27, by huffman
avoid ambiguity of State.state vs. JVMType.state;
2008-03-27, by wenzelm
declare cont_lemmas_ext as simp rules individually
2008-03-27, by huffman
avoid amiguity of Continuity.chain vs. Porder.chain;
2008-03-27, by wenzelm
avoid amiguity of State.state vs. JVMType.state;
2008-03-27, by wenzelm
changed wrong assignement in signature sections
2008-03-27, by haftmann
clarified character serializations
2008-03-27, by haftmann
added Enum
2008-03-27, by haftmann
circumventing merge problem
2008-03-27, by haftmann
explicit case names for rule list_induct2
2008-03-27, by haftmann
instance for functions, explicit characters
2008-03-27, by haftmann
lemmas about map_of (zip _ _)
2008-03-27, by haftmann
restructuring; explicit case names for rule list_induct2
2008-03-27, by haftmann
no "attach UNIV" any more
2008-03-27, by haftmann
tuned comments;
2008-03-27, by wenzelm
tuned comments;
2008-03-27, by wenzelm
fixed theory imports;
2008-03-27, by wenzelm
tuned appendix;
2008-03-27, by wenzelm
removed obsolete appl_syntax, applC_syntax;
2008-03-27, by wenzelm
eliminated delayed theory setup
2008-03-27, by wenzelm
Command 'setup': discontinued implicit version.
2008-03-27, by wenzelm

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle