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

use_mltext: priority output;
2001-01-12, by wenzelm
HOLogic.dest_binum;
2001-01-12, by wenzelm
hide dest_bin;
2001-01-12, by wenzelm
HOLogic.dest_binum;
2001-01-12, by wenzelm
wrong font for braces
2001-01-12, by paulson
LateX-2e moans about using \\choose
2001-01-12, by paulson
the \\epsilon character causes font errors in a section title
2001-01-12, by paulson
made SML/NJ happy;
2001-01-12, by wenzelm
lcp's pass over the book, chapters 1-8
2001-01-12, by paulson
renaming of some files
2001-01-12, by paulson
updated for new version of even-examples.tex
2001-01-12, by paulson
updated for new version of advanced-examples.tex
2001-01-12, by paulson
abs and other small changes
2001-01-12, by paulson
updated for new version of numerics.tex
2001-01-12, by paulson
renaming to avoid clashes
2001-01-12, by paulson
auto update
2001-01-12, by paulson
general revisions
2001-01-12, by paulson
added Sigma_Algebra;
2001-01-12, by wenzelm
added Induct/Sigma_Algebra.thy;
2001-01-12, by wenzelm
tuned;
2001-01-12, by wenzelm
do not hilite "xnum";
2001-01-11, by wenzelm
make_raw: do not AutoBind.drop_judgment;
2001-01-11, by wenzelm
induct cases: RuleCases.make_raw;
2001-01-11, by wenzelm
added strict_prefixI', strict_prefixE';
2001-01-11, by wenzelm
subst syntax;
2001-01-11, by wenzelm
*** empty log message ***
2001-01-11, by nipkow
lcp's suggestions for CTL
2001-01-11, by paulson
*** empty log message ***
2001-01-11, by nipkow
a new label
2001-01-11, by paulson
revisions corresponding to the new version of sets.tex
2001-01-11, by paulson

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

isabelle