isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

common qed and end of proofs;
1999-03-19, by wenzelm
* New bounded quantifier syntax (input only):
1999-03-18, by nipkow
New bounded quantifier syntax: !x<i. P etc
1999-03-18, by nipkow
added new theory Yahalom_Bad
1999-03-18, by paulson
added new theory Yahalom_Bad
1999-03-18, by paulson
exchanged the order of Gets and Notes in datatype event
1999-03-18, by paulson
fixed thm_name again;
1999-03-17, by wenzelm
Theory.sign_of;
1999-03-17, by wenzelm
xnum token class;
1999-03-17, by wenzelm
xstr token class;
1999-03-17, by wenzelm
Theory.sign_of;
1999-03-17, by wenzelm
fixed axclass_tac;
1999-03-17, by wenzelm
tuned;
1999-03-17, by wenzelm
Theory.sign_of;
1999-03-17, by wenzelm
qualify Theory.sign_of etc.;
1999-03-17, by wenzelm
fixed msg;
1999-03-17, by wenzelm
tuned msg;
1999-03-17, by wenzelm
axclass_tac lost an argument;
1999-03-17, by wenzelm
HOL/typedef: fixed type inference for representing set;
1999-03-17, by wenzelm
rep_datatype: '_i' version, attributes, outer syntax;
1999-03-17, by wenzelm
local open OuterParse;
1999-03-17, by wenzelm
actually check non-emptiness theorem;
1999-03-17, by wenzelm
fixed typedef representing set;
1999-03-17, by wenzelm
adapted rep_datatype;
1999-03-17, by wenzelm
added dest_mem;
1999-03-17, by wenzelm
theory data;
1999-03-17, by wenzelm
adapted AxClass.add_axclass;
1999-03-17, by wenzelm
tuned msgs;
1999-03-17, by wenzelm
tuned;
1999-03-17, by wenzelm
cleaned comments;
1999-03-17, by wenzelm
added apply_cond_open;
1999-03-17, by wenzelm
added (improper_)command;
1999-03-17, by wenzelm
added simple_arity, spec_name, spec_opt_name;
1999-03-17, by wenzelm
added '_i' versions;
1999-03-17, by wenzelm
OuterSyntax.(improper_)command;
1999-03-17, by wenzelm
added assert_super;
1999-03-17, by wenzelm
added def_name;
1999-03-17, by wenzelm
added cond_extern_thm_sg;
1999-03-17, by wenzelm
AxClass.setup;
1999-03-17, by wenzelm
axclass.ML loaded after Isar;
1999-03-17, by wenzelm
made weblint happy;
1999-03-12, by wenzelm
comment;
1999-03-12, by wenzelm
removed obsolete user data stuff;
1999-03-12, by wenzelm
theory: include parent links;
1999-03-12, by wenzelm
outer syntax for 'datatype';
1999-03-11, by wenzelm
add_primrec(_i): attributes;
1999-03-11, by wenzelm
outer syntax for 'record';
1999-03-11, by wenzelm
named witnesses: PureThy.get_thmss;
1999-03-11, by wenzelm
primrec: empty attributes;
1999-03-11, by wenzelm
tuned opt_mixfix failure;
1999-03-11, by wenzelm
add_title;
1999-03-11, by wenzelm
added 'title';
1999-03-11, by wenzelm
tuned space;
1999-03-11, by wenzelm
comment;
1999-03-11, by wenzelm
workaround default_name problem;
1999-03-11, by wenzelm
removed foo_build_completed -- now handled by session management (via usedir);
1999-03-11, by wenzelm
include 'README';
1999-03-11, by wenzelm
tuned;
1999-03-11, by wenzelm
moved Thy/session.ML to Isar/session.ML;
1999-03-11, by wenzelm
tuned;
1999-03-10, by wenzelm

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

isabelle