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 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

rule context and attributes moved to rule_context.ML;
2001-11-29, by wenzelm
qualify_elem: do not qualify empty names ("");
2001-11-29, by wenzelm
tuned;
2001-11-29, by wenzelm
added deletion of rules;
2001-11-29, by wenzelm
general type of delete_tagged_brl;
2001-11-29, by wenzelm
most general type of delete/delete_term;
2001-11-29, by wenzelm
skip_proof: do not require quick_and_dirty in interactive mode;
2001-11-28, by wenzelm
support "_::foo" sort constraints;
2001-11-28, by wenzelm
removed unused simple_read_typ;
2001-11-28, by wenzelm
added proof_to_theory';
2001-11-28, by wenzelm
Syntax.typ_of_term: pass intern sort fn;
2001-11-28, by wenzelm
Syntax.read_typ: pass intern sort fn;
2001-11-28, by wenzelm
* Isar/Pure: "sorry" no longer requires quick_and_dirty in interactive mode;
2001-11-28, by wenzelm
theory data: removed obsolete finish method;
2001-11-28, by wenzelm
data: removed obsolete finish method;
2001-11-28, by wenzelm
name space for local thms (export cond_extern, qualified);
2001-11-28, by wenzelm
print_state: up to 7 result names;
2001-11-28, by wenzelm
qualify imported facts;
2001-11-28, by wenzelm
variant: preserve suffix of underscores (for skolem/internal names etc.);
2001-11-28, by wenzelm
join_rules RuleCases.save;
2001-11-28, by wenzelm
tuned declarations;
2001-11-28, by wenzelm
tuned;
2001-11-28, by wenzelm
make SML/NJ happy;
2001-11-27, by wenzelm
added Pure/Isar/rule_context.ML;
2001-11-26, by wenzelm
gcd_dvd1 and gcd_dvd2 proven simultaneously;
2001-11-26, by wenzelm
moved lemmas to theory Hilbert_Choice;
2001-11-26, by wenzelm
tuned;
2001-11-26, by wenzelm
added remdups_rl;
2001-11-26, by wenzelm

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

isabelle