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

removed obsolete Locale.smart_theorem;
2006-11-07, by wenzelm
avoid handling of arbitrary exceptions;
2006-11-07, by wenzelm
field-update in records is generalised to take a function on the field
2006-11-07, by schirmer
exported intro_locales_tac
2006-11-07, by schirmer
Proper theorem names at last, no fakes!!
2006-11-07, by paulson
some corrections
2006-11-07, by haftmann
adjusted title
2006-11-07, by haftmann
simplified dest_eq;
2006-11-07, by wenzelm
commented out parts which have been inactive (unintentionally) for a long time;
2006-11-07, by wenzelm
removed obsolete dest_eq_typ;
2006-11-07, by wenzelm
tuned hypsubst setup;
2006-11-07, by wenzelm
continued
2006-11-07, by haftmann
made locale partial_order compatible with axclass order; changed import order; consecutive changes
2006-11-07, by haftmann
made locale partial_order compatible with axclass order
2006-11-07, by haftmann
adjusted two lemma names due to name change in interpretation
2006-11-07, by haftmann
changed import order
2006-11-07, by haftmann
Added a (stub of a) function tutorial
2006-11-07, by krauss
Preparations for making "lexicographic_order" part of "fun"
2006-11-07, by krauss
renamed 'const_syntax' to 'notation';
2006-11-07, by wenzelm
'const_syntax' command: allow fixed variables, renamed to 'notation';
2006-11-07, by wenzelm
replaced const_syntax by notation, which operates on terms;
2006-11-07, by wenzelm
Isar.context: proper error;
2006-11-07, by wenzelm
replaced const_syntax by notation, which operates on terms;
2006-11-07, by wenzelm
read_const: include type;
2006-11-07, by wenzelm
renamed 'const_syntax' to 'notation';
2006-11-07, by wenzelm
updated;
2006-11-07, by wenzelm
Adapted to changes in FixedPoint theory.
2006-11-07, by berghofe
method exported
2006-11-07, by krauss
updated NEWS
2006-11-07, by krauss
* Added annihilation axioms ("x * 0 = 0") to axclass semiring_0.
2006-11-07, by krauss
added gfx
2006-11-07, by haftmann
dropped blastdata.ML
2006-11-06, by haftmann
(adjustions)
2006-11-06, by haftmann
two further lemmas on split
2006-11-06, by haftmann
removed dependency of ord on eq
2006-11-06, by haftmann
removed itrev as inlining theorem
2006-11-06, by haftmann
added state monad to HOL library
2006-11-06, by haftmann
code generator module naming improved
2006-11-06, by haftmann
(continued)
2006-11-06, by haftmann
(continued)
2006-11-06, by haftmann
minor cleanup
2006-11-06, by krauss
case_tr: do not intern already internal consts;
2006-11-05, by wenzelm
updated;
2006-11-05, by wenzelm
removed isactrlconst;
2006-11-05, by wenzelm
instantiate: avoid global references;
2006-11-05, by wenzelm
added const_syntax_name;
2006-11-05, by wenzelm
removed obsolete first_duplicate;
2006-11-05, by wenzelm
added syntax_name;
2006-11-05, by wenzelm
fixed print_translation for ALL/EX and <, <=, etc.; tuned syntax names;
2006-11-05, by wenzelm
Sign.const_syntax_name;
2006-11-05, by wenzelm
added gfx
2006-11-05, by haftmann
removed checkpoint interface;
2006-11-04, by wenzelm
String.compare: slow version -- performance test;
2006-11-04, by wenzelm
replaced apply_copy by apply';
2006-11-04, by wenzelm
removed is_Trueprop (use can dest_Trueprop'' instead);
2006-11-04, by wenzelm
removed is_Trueprop (use can dest_Trueprop'' instead);
2006-11-04, by wenzelm
updated;
2006-11-04, by wenzelm
HOL_USEDIR_OPTIONS: -p 1 by default;
2006-11-04, by wenzelm
tuned;
2006-11-04, by wenzelm
* October 2006: Stefan Hohe, TUM;
2006-11-04, by wenzelm

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

isabelle