isabelle: Graph

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

more accurate linerarity
2009-11-30, by haftmann
merged
2009-11-30, by haftmann
Inl and Inr now with authentic syntax
2009-11-27, by haftmann
renamed former datatype.ML to datatype_data.ML
2009-11-27, by haftmann
renamed former datatype.ML to datatype_data.ML; datatype.ML provides uniform view on datatype.ML and datatype_rep_proofs.ML
2009-11-27, by haftmann
modernized; dropped ancient constant Part
2009-11-27, by haftmann
centralized sum type matter in Sum_Type.thy
2009-11-25, by haftmann
tuned
2009-11-25, by haftmann
bootstrap datatype_rep_proofs in Datatype.thy (avoids unchecked dynamic name references)
2009-11-25, by haftmann
merged
2009-11-25, by haftmann
normalized uncurry take/drop
2009-11-25, by haftmann
merged
2009-11-24, by haftmann
curried take/drop
2009-11-24, by haftmann
backported parts of abstract byte code verifier from AFP/Jinja
2009-11-24, by haftmann
added document_node;
2009-12-04, by wenzelm
document init_component shell function;
2009-12-04, by wenzelm
back to after-release mode;
2009-12-04, by wenzelm
back to main repository;
2009-12-04, by wenzelm
merged
2009-12-04, by wenzelm
merged
2009-12-04, by haftmann
added Crude_Executable_Set
2009-12-04, by haftmann
removed redundant lemma
2009-12-04, by nipkow
added remdups_filter lemma
2009-12-04, by nipkow
merged
2009-12-02, by haftmann
subst_signatures
2009-12-02, by haftmann
tuned
2009-12-02, by haftmann
exported build_tsig
2009-12-02, by haftmann
crude support for type aliasses and corresponding constant signatures
2009-12-02, by haftmann
generalized some lemmas
2009-12-02, by haftmann
added Crude_Executable_Set.thy
2009-12-02, by haftmann

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

isabelle