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

proper naming of weak_ref_map2ref_map;
2008-03-17, by wenzelm
avoid rebinding of existing facts;
2008-03-17, by wenzelm
avoid rebinding of existing facts;
2008-03-17, by wenzelm
added Compl_Collect;
2008-03-17, by wenzelm
proper naming of knows_Outpts_insecureM, knows_subset_knows_A_Gets;
2008-03-17, by wenzelm
renamed K3_imp_Gets variant to K3_imp_Gets_evs;
2008-03-17, by wenzelm
removed duplicate lemmas;
2008-03-17, by wenzelm
closeup: recover original order of free variables!
2008-03-17, by wenzelm
reorganization
2008-03-17, by nipkow
added lemmas
2008-03-17, by nipkow
remove unneeded constant mod_alt
2008-03-17, by huffman
More defns and thms
2008-03-17, by nipkow
fixed broken bintrunc lemma
2008-03-17, by kleing
tuned;
2008-03-15, by wenzelm
get_thm(s): check facts lookup vs. old thm database;
2008-03-15, by wenzelm
tuned messages;
2008-03-15, by wenzelm
del: hide in name space;
2008-03-15, by wenzelm
avoid unclear fact references;
2008-03-15, by wenzelm
eliminated out-of-scope proofs (cf. theory IFOL and FOL);
2008-03-15, by wenzelm
proper antiquotations;
2008-03-15, by wenzelm
added lemmas from simpdata.ML;
2008-03-15, by wenzelm
removed obsolete PureThy.thms_containing;
2008-03-15, by wenzelm
replaced obsolete FactIndex.T by Facts.T;
2008-03-15, by wenzelm
more precise Author line;
2008-03-15, by wenzelm
replaced obsolete FactIndex.T by Facts.T (cumulative version, assumes that facts are only added to unfinished theories);
2008-03-15, by wenzelm
Environment of named facts (admits overriding). Optional indexing by proposition.
2008-03-15, by wenzelm
obsolete (cf. facts.ML);
2008-03-15, by wenzelm
removed obsolete fact_index.ML;
2008-03-15, by wenzelm
replaced obsolete FactIndex.T by Facts.T;
2008-03-15, by wenzelm
removed obsolete PureThy.thms_containing_consts;
2008-03-15, by wenzelm

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

isabelle