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

tuned;
2001-12-18, by wenzelm
use Locale.read/cert_context_statement;
2001-12-18, by wenzelm
*** empty log message ***
2001-12-18, by nipkow
tuned;
2001-12-18, by wenzelm
improved mixfix_args;
2001-12-18, by wenzelm
tuned Type.unify;
2001-12-18, by wenzelm
simultaneous type-inference of complete context/statement specifications;
2001-12-18, by wenzelm
tuned interface of unify, param;
2001-12-18, by wenzelm
tuned Type.unify;
2001-12-18, by wenzelm
mods due to changed 1-point simprocs (quantifier1).
2001-12-17, by nipkow
mods due to improved 1-point simprocs (quantifier1).
2001-12-17, by nipkow
mods due to mor powerful simprocs for 1-point rules (quantifier1).
2001-12-17, by nipkow
now permutations of quantifiers are allowed as well.
2001-12-17, by nipkow
fixed JVMListExample
2001-12-17, by kleing
MicroJava exception merge
2001-12-16, by kleing
temporarily removed JVMListExample
2001-12-16, by kleing
exception merge + cleanup
2001-12-16, by kleing
exception merge, doesn't work yet
2001-12-16, by kleing
exception merge, cleanup, tuned
2001-12-16, by kleing
exceptions
2001-12-16, by kleing
list_all2_rev
2001-12-16, by kleing
removed debug stuff;
2001-12-14, by wenzelm
support for ``indexed syntax'' (using "\<index>" argument instead of "_");
2001-12-14, by wenzelm
removed special treatment of "_" in syntax (now covered by \<index> arg);
2001-12-14, by wenzelm
tuned locale interface;
2001-12-14, by wenzelm
proper treatment of internal parameters;
2001-12-14, by wenzelm
\usepackage[latin1]{inputenc};
2001-12-14, by wenzelm
Wenzel:2001:Isar-examples;
2001-12-14, by wenzelm
updated;
2001-12-14, by wenzelm
mixfix syntax for selectors;
2001-12-14, by wenzelm

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

isabelle