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

added support for AddXIs, AddXEs, AddXDs
2001-02-14, by oheimb
tuned;
2001-02-14, by wenzelm
tuned;
2001-02-13, by wenzelm
tuned;
2001-02-13, by wenzelm
\remarksfalse;
2001-02-13, by wenzelm
tuned;
2001-02-13, by wenzelm
swapped Fleuriot and Paulson
2001-02-13, by paulson
create dist packages;
2001-02-13, by wenzelm
partial conversion to Isar script style in HOL/Auth removes some .ML files
2001-02-13, by paulson
partial conversion to Isar script style in HOL/Auth removes some .ML files
2001-02-13, by paulson
partial conversion to Isar script style
2001-02-13, by paulson
tuned;
2001-02-13, by wenzelm
tuned;
2001-02-12, by wenzelm
support \<subseteq> syntax in classes/classrel/axclass/instance;
2001-02-12, by wenzelm
\<subseteq> syntax for classes/classrel/axclass/instance;
2001-02-12, by wenzelm
\<subseteq>;
2001-02-12, by wenzelm
added "xsymbols" syntax for "=?=";
2001-02-11, by wenzelm
more robust selection of calculational rules;
2001-02-11, by wenzelm
tuned trans rules;
2001-02-11, by wenzelm
updated;
2001-02-11, by wenzelm
tuned;
2001-02-11, by wenzelm
Changes to HOL/Algebra:
2001-02-10, by ballarin
Definition of setsum (sort constraint) relaxed to {zero, plus}.
2001-02-10, by ballarin
Updates to HOL/Algebra:
2001-02-10, by ballarin
tuned;
2001-02-09, by wenzelm
lower priority for forw_subst;
2001-02-09, by wenzelm
tuned;
2001-02-09, by wenzelm
not used any more (all Isar style)
2001-02-09, by kleing
removed MicroJava/Digest.thy
2001-02-09, by kleing
tuned for 99-2 release
2001-02-09, by kleing
unsymbolized;
2001-02-09, by wenzelm
tuned;
2001-02-07, by wenzelm
improved;
2001-02-07, by wenzelm
solved non-initialization problems; improvements using prefer
2001-02-07, by oheimb
various revisions in response to comments from Tobias
2001-02-07, by paulson
val get_goal: state -> context * (thm list * thm);
2001-02-07, by wenzelm
4.0 version;
2001-02-06, by wenzelm
snapshot of a new version
2001-02-06, by paulson
new theorem Transset_iff_Union_subset
2001-02-06, by paulson
tuned
2001-02-06, by kleing
improved;
2001-02-05, by wenzelm
polyml multiplatform setup;
2001-02-05, by wenzelm
tuned
2001-02-05, by wenzelm
tuned;
2001-02-05, by wenzelm
improved document (added headers etc)
2001-02-05, by oheimb
tuned
2001-02-05, by wenzelm
improvements concerning instantiations etc.
2001-02-05, by oheimb
disable non-existant chapters
2001-02-05, by wenzelm
tuned;
2001-02-05, by wenzelm
fixed version string;
2001-02-05, by wenzelm
polyml-3.x.ML vs polyml-4.0.ML;
2001-02-05, by wenzelm
renamed polyml.ML to polyml-3.x.ML and polyml-4.0.ML to polyml.ML (default);
2001-02-05, by wenzelm
tuned;
2001-02-05, by wenzelm
example Proof General settings;
2001-02-05, by wenzelm
document setup;
2001-02-04, by wenzelm
converted to new-style;
2001-02-04, by wenzelm
moved theory Perm to HOL/Library;
2001-02-04, by wenzelm
added no_document
2001-02-04, by wenzelm
tuned
2001-02-04, by wenzelm
added Permutation;
2001-02-04, by wenzelm

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

isabelle