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

open BasicThmDatabase;
1999-02-03, by wenzelm
Theory presentation (fake implementation);
1999-02-03, by wenzelm
moved to Pure/context.ML;
1999-02-03, by wenzelm
nuked;
1999-02-03, by wenzelm
moved to General/use.ML;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
ThyInfo.begin_theory;
1999-02-03, by wenzelm
oops, update_thy;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
comment;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
proper setup of preloaded theories (ThyInfo.register_theory);
1999-02-03, by wenzelm
renamed sig to PRIVATE_SIGN;
1999-02-03, by wenzelm
added thm, thms, Open_locale, Close_locale, Print_scope;
1999-02-03, by wenzelm
added Goal(w) and Export (from context.ML);
1999-02-03, by wenzelm
added is_draft;
1999-02-03, by wenzelm
enabled sig;
1999-02-03, by wenzelm
tuned msg;
1999-02-03, by wenzelm
Global theory context (used to be in Thy/context.ML);
1999-02-03, by wenzelm
moved several files;
1999-02-03, by wenzelm
more abstract implementation;
1999-02-03, by wenzelm
use Path.T;
1999-02-03, by wenzelm
of_file: Path.T, Position.T;
1999-02-03, by wenzelm
added use.ML;
1999-02-03, by wenzelm
added Use;
1999-02-03, by wenzelm
tuned;
1999-02-03, by wenzelm
tidied; added thy_load.ML
1999-02-03, by paulson
tidied, with left_inverse & right_inverse as default simprules
1999-02-03, by paulson
auto update
1999-02-03, by paulson
inj
1999-02-03, by paulson
documented typecheck_tac, etc
1999-02-03, by paulson
standard spelling: type-checking
1999-02-03, by paulson
inj is now a translation of inj_on
1999-02-03, by paulson
standard spelling: type-checking
1999-02-03, by paulson
a bit of tidying
1999-02-01, by paulson
Theory loader primitives.
1999-01-30, by wenzelm
corrected output of symbols for several (probably not all) relevant functions
1999-01-29, by oheimb
renamed space2 to spacespace
1999-01-29, by oheimb
corrected output of symbols for several (probably not all) relevant functions
1999-01-29, by oheimb
moved print_mode to ROOT.ML
1999-01-29, by oheimb
expandshort
1999-01-29, by paulson
expandshort
1999-01-29, by paulson
tidied
1999-01-29, by paulson
tidied
1999-01-28, by paulson
constdefs
1999-01-28, by paulson
tidying
1999-01-28, by paulson
arith_tac for min/max
1999-01-27, by nipkow
*** empty log message ***
1999-01-27, by wenzelm
ZF typechecking
1999-01-27, by paulson
automatic insertion of datatype intr rules into claset
1999-01-27, by paulson
new typechecking solver for the simplifier
1999-01-27, by paulson
tuned;
1999-01-25, by wenzelm
Fixed a bug in lin.arith.
1999-01-24, by nipkow
tuned;
1999-01-22, by wenzelm
tuned;
1999-01-22, by wenzelm
isabelle.in.tum.de;
1999-01-20, by wenzelm
http://isabelle.in.tum.de/dist/;
1999-01-20, by wenzelm
renamed variables for clarity
1999-01-20, by paulson
changed Minho mirror;
1999-01-20, by wenzelm

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

isabelle