isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

added Real/Hyperreal
1998-11-27, by paulson
Addition of Hyperreal theories Zorn and Filter
1998-11-27, by paulson
moved diag (diagonal relation) from Univ to Relation
1998-11-27, by paulson
tidied up list definitions, using type 'a option instead of
1998-11-26, by paulson
tuning to assimiliate it with PhD;
1998-11-26, by mueller
Added a general refutation tactic which works by putting things into nnf first.
1998-11-26, by nipkow
Added filter_prems_tac
1998-11-26, by nipkow
removed prs / prs_fn;
1998-11-25, by wenzelm
guarantees laws
1998-11-25, by paulson
simplified ensures_UNIV
1998-11-25, by paulson
new thms for invariant
1998-11-25, by paulson
new theorem program_equalityE
1998-11-25, by paulson
renamed vars
1998-11-25, by paulson
image_id in simpset
1998-11-25, by paulson
removed prs / prs_fn (broken, because it did not include \n in its
1998-11-25, by wenzelm
eliminated ISABELLE_INTERFACE_OPTIONS;
1998-11-25, by wenzelm
improved comment;
1998-11-25, by wenzelm
replaced prs by std_output;
1998-11-25, by wenzelm
replaced prs by writeln;
1998-11-25, by wenzelm
replaced prs by std_output / writeln;
1998-11-25, by wenzelm
comment parser;
1998-11-25, by wenzelm
add_text, add_chapter etc.: dummy;
1998-11-25, by wenzelm
chapter etc. headings;
1998-11-25, by wenzelm
tuned space;
1998-11-25, by wenzelm
replaced prs by writeln;
1998-11-25, by wenzelm
removed redirect_to_latex stuff;
1998-11-25, by wenzelm
Isar.main();
1998-11-24, by wenzelm
setup Blast.setup;
1998-11-24, by wenzelm
added commands;
1998-11-24, by wenzelm
added isar.ML;
1998-11-24, by wenzelm

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

isabelle