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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
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
RuleCases.save;
2000-11-28, by wenzelm
*** empty log message ***
2000-11-27, by nipkow
deleted unused result intrel_refl
2000-11-27, by paulson
*** empty log message ***
2000-11-27, by nipkow
*** empty log message ***
2000-11-26, by nipkow
*** empty log message ***
2000-11-26, by nipkow
hide many names from Datatype_Universe.
2000-11-24, by nipkow
exception Interrupt = SML90.Interrupt;
2000-11-24, by wenzelm
added exception Interrupt for use in function Library/try
2000-11-24, by paulson
arith_tac: atomize;
2000-11-23, by wenzelm
standard: close_derivation;
2000-11-23, by wenzelm
* HOL: syntax or "abs";
2000-11-23, by wenzelm
*** empty log message ***
2000-11-23, by nipkow
tuned;
2000-11-22, by wenzelm
tuned;
2000-11-22, by wenzelm
*** empty log message ***
2000-11-22, by wenzelm
*** empty log message ***
2000-11-22, by nipkow
tag result with name reference to final binding (basically just a comment);
2000-11-21, by wenzelm
Tactic.distinct_subgoals_tac moved to internal intro_classes_tac;
2000-11-21, by wenzelm
replace \<dots>;
2000-11-21, by wenzelm
unsymbolize;
2000-11-21, by wenzelm
quote executable;
2000-11-21, by wenzelm
tuned;
2000-11-21, by wenzelm
;
2000-11-21, by bauerg
adjusted for BV changes (Ok -> OK)
2000-11-21, by kleing
thebibliography environment: replaced the Springer version by the standard one
2000-11-21, by paulson
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip