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

updated generated file;
2008-06-13, by wenzelm
back to CodeTarget.code_width;
2008-06-13, by wenzelm
hide -> hide (open)
2008-06-13, by nipkow
use regular error function;
2008-06-12, by wenzelm
add lemma finite_image_approx; remove unnecessary sort annotations
2008-06-12, by huffman
change orientation of fix_eqI and convert to rule_format;
2008-06-12, by huffman
export just one setup function;
2008-06-12, by wenzelm
removed obsolete skolem declarations -- done by Theory.at_end;
2008-06-12, by wenzelm
tuned setup;
2008-06-12, by wenzelm
remove unnecessary import of Ffun;
2008-06-12, by huffman
imports Ffun
2008-06-12, by huffman
ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;
2008-06-12, by wenzelm
ResAxioms.cnf_axiom/cnf_rules_pairs: pass explicit theory context;
2008-06-12, by wenzelm
sane versions of (qualified_)thms_of_thy;
2008-06-12, by wenzelm
Facts.dest/export_static: content difference;
2008-06-12, by wenzelm
dest/export_static: content difference;
2008-06-12, by wenzelm
declare_skofuns/skolem: canonical argument order;
2008-06-12, by wenzelm
Facts.dest/export_static: content difference;
2008-06-12, by wenzelm
correction
2008-06-12, by nipkow
tuned
2008-06-12, by nipkow
Removed hide swap
2008-06-12, by nipkow
fixed type
2008-06-12, by nipkow
lemma modified
2008-06-12, by nipkow
typo
2008-06-12, by nipkow
had to add rule: because induct_tac no longer works correctly
2008-06-12, by nipkow
Hid swap
2008-06-12, by nipkow
some reformatting;
2008-06-12, by wenzelm
added CK_Machine to the nominal section
2008-06-12, by urbanc
soundness and completeness proofs for a CK machine as
2008-06-12, by urbanc
emoved the parts that deal with the CK machine to a new theory
2008-06-12, by urbanc

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

isabelle