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

proper order of modes;
2000-12-04, by wenzelm
diagnostic commands: comment;
2000-12-04, by wenzelm
export get_skolem;
2000-12-04, by wenzelm
fixed binding of parameters;
2000-12-04, by wenzelm
dignostic commands: comment;
2000-12-04, by wenzelm
include table of Isabelle standard symbols;
2000-12-04, by wenzelm
loads the new theory Numbers.thy
2000-12-04, by paulson
fixed formatting in section heading
2000-12-04, by paulson
auto update
2000-12-04, by paulson
tuned;
2000-12-01, by wenzelm
Now adjusted to mixed terms involving coercions.
2000-12-01, by nipkow
Linear arithmetic now copes with mixed nat/int formulae.
2000-12-01, by nipkow
append print modes;
2000-12-01, by wenzelm
no_brackets mode;
2000-12-01, by wenzelm
use_dir: modes;
2000-12-01, by wenzelm
append print_modes;
2000-12-01, by wenzelm
ignore quick_and_dirty for coind;
2000-12-01, by wenzelm
FreeUltrafilterNat ("\\<U>");
2000-12-01, by wenzelm
schematic goals;
2000-12-01, by wenzelm
removed quick_and_dirty;
2000-12-01, by wenzelm
superscripts: syntax (latex);
2000-12-01, by wenzelm
usedir: -m option;
2000-12-01, by wenzelm
added \mathcal A-Z;
2000-12-01, by wenzelm
option -m;
2000-12-01, by wenzelm
*** empty log message ***
2000-12-01, by nipkow
*** empty log message ***
2000-12-01, by nipkow
many new div and mod properties (borrowed from Integ/IntDiv)
2000-12-01, by paulson
renamed less_eq_Suc_add to less_imp_Suc_add
2000-12-01, by paulson
tuned;
2000-11-30, by wenzelm
removed "./configure";
2000-11-30, by wenzelm
/usr/bin/env bash;
2000-11-30, by wenzelm
schematic props;
2000-11-30, by wenzelm
removed get_goal;
2000-11-30, by wenzelm
added is_replaced_dummy_pattern;
2000-11-30, by wenzelm
renamed "equivalence_class" to "class";
2000-11-30, by wenzelm
schematic goals;
2000-11-30, by wenzelm
cases/induct: tuned handling of facts ('consumes');
2000-11-30, by wenzelm
'consumes' att;
2000-11-30, by wenzelm
misc;
2000-11-30, by wenzelm
replaced Eps by SOME
2000-11-30, by paulson
*** empty log message ***
2000-11-30, by nipkow
some properties;
2000-11-30, by bauerg
*** empty log message ***
2000-11-30, by nipkow
resolveq_cases_tac moved here from Pure/Isar/method.ML;
2000-11-29, by wenzelm
resolveq(_cases)_tac moved to HOL/Tools/induct_method.ML;
2000-11-29, by wenzelm
expand_split_asm -> split_split_asm
2000-11-29, by nipkow
*** empty log message ***
2000-11-29, by nipkow
*** empty log message ***
2000-11-29, by nipkow
simproc for cancelling common factors around = < <= div /
2000-11-29, by paulson
invoking CancelNumeralFactorFun
2000-11-29, by paulson
new simproc file cancel_numeral_factor.ML
2000-11-29, by paulson
added a reference to {sec:products} for ordered pair reasoning
2000-11-28, by paulson
fixed hostname;
2000-11-28, by wenzelm
detect CVSROOT;
2000-11-28, by wenzelm
tuned;
2000-11-28, by wenzelm
added consumes, consumes_default;
2000-11-28, by wenzelm
resolveq_cases_tac: insert facts;
2000-11-28, by wenzelm
added "consumes" attribute;
2000-11-28, by wenzelm
consume facts;
2000-11-28, by wenzelm
consumes0/1;
2000-11-28, by wenzelm

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

isabelle