Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-120
+120
+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.
tuned;
2000-10-17, by wenzelm
"Deriving rules";
2000-10-17, by wenzelm
improved;
2000-10-17, by wenzelm
*** empty log message ***
2000-10-17, by nipkow
*** empty log message ***
2000-10-17, by nipkow
renaming of contrapos rules
2000-10-17, by paulson
tidied some awkward proofs
2000-10-17, by paulson
tidying; removed unused rev_contra_subsetD
2000-10-17, by paulson
restoration of "equalityI"; renaming of contrapos rules
2000-10-17, by paulson
renaming of contrapos rules
2000-10-17, by paulson
tidying and renaming of contrapos rules
2000-10-17, by paulson
cosmetics
2000-10-17, by oheimb
added intermediate value thms
2000-10-17, by nipkow
<= -> \<le>
2000-10-17, by nipkow
updated;
2000-10-16, by wenzelm
*** empty log message ***
2000-10-16, by nipkow
*** empty log message ***
2000-10-16, by nipkow
tuned;
2000-10-15, by wenzelm
fixed \isasyminv;
2000-10-15, by wenzelm
more elements;
2000-10-15, by wenzelm
proper symbol markup with \isamath, \isatext;
2000-10-15, by wenzelm
*** empty log message ***
2000-10-13, by nipkow
*** empty log message ***
2000-10-13, by nipkow
*** empty log message ***
2000-10-13, by nipkow
renamed fp_Tarski to fp_unfold
2000-10-13, by paulson
*** empty log message ***
2000-10-13, by nipkow
*** empty log message ***
2000-10-13, by nipkow
*** empty log message ***
2000-10-12, by nipkow
*** empty log message ***
2000-10-12, by nipkow
updated;
2000-10-12, by wenzelm
induct -> lfp_induct;
2000-10-12, by wenzelm
install default_handler for SIGINT initially as well;
2000-10-12, by wenzelm
tuned syms;
2000-10-12, by wenzelm
updated;
2000-10-12, by wenzelm
accomodate Poly/ML 4.0;
2000-10-12, by wenzelm
even smarter setup for several installations of Poly/ML 3.x and 4.0;
2000-10-12, by wenzelm
tuned syms;
2000-10-12, by wenzelm
removed nonsensical print statement;
2000-10-12, by wenzelm
induct -> lfp_induct
2000-10-12, by nipkow
tidied
2000-10-12, by paulson
new theorem and SD-rule zmod_eq_0_iff
2000-10-12, by paulson
delrules [r_into_rtrancl] required because the new I-rule made a step slow.
2000-10-12, by paulson
tidied
2000-10-12, by paulson
renamed ?Pa to ?Q in swap
2000-10-12, by paulson
new I-rules r_into_rtrancl, r_into_trancl and a simpler proof
2000-10-12, by paulson
new theorems mod_eq_0_iff and mod_eqD; also new SD rule
2000-10-12, by paulson
improved exhibit_interrupt;
2000-10-12, by wenzelm
\isamath and \isatext: more abstract implementation of symbols;
2000-10-11, by wenzelm
*** empty log message ***
2000-10-11, by nipkow
*** empty log message ***
2000-10-11, by nipkow
*** empty log message ***
2000-10-11, by nipkow
*** empty log message ***
2000-10-11, by nipkow
fixed \isastyleminor for "tt": \small;
2000-10-11, by wenzelm
*** empty log message ***
2000-10-11, by nipkow
*** empty log message ***
2000-10-11, by nipkow
fixed 'clarify': CHANGED;
2000-10-11, by wenzelm
fully enclose "\isadigit{...}";
2000-10-10, by wenzelm
tuned;
2000-10-10, by wenzelm
AddXEs [someI_ex];
2000-10-10, by wenzelm
added a section label
2000-10-10, by paulson
fixed hrefs: index.html;
2000-10-09, by wenzelm
added rtranclIs
2000-10-09, by nipkow
*** empty log message ***
2000-10-09, by nipkow
*** empty log message ***
2000-10-09, by nipkow
tuned text;
2000-10-09, by wenzelm
ex_someI -> someI_ex
2000-10-09, by nipkow
simplified rtrancl_converse{I,D}
2000-10-09, by paulson
got rid of a swap
2000-10-09, by paulson
expandshort
2000-10-09, by paulson
*** empty log message ***
2000-10-09, by nipkow
@ -> SOME
2000-10-09, by nipkow
tuned;
2000-10-08, by wenzelm
final tuning;
Isabelle99-1
2000-10-06, by wenzelm
tuned;
2000-10-06, by wenzelm
tuned;
2000-10-06, by wenzelm
tuned;
2000-10-06, by wenzelm
* HOL/IMPP: extension of IMP with local variables and mutually
2000-10-06, by wenzelm
updated, improved;
2000-10-06, by wenzelm
tuned;
2000-10-06, by wenzelm
draft for 99-1;
2000-10-06, by wenzelm
tuned;
2000-10-06, by wenzelm
*** empty log message ***
2000-10-06, by nipkow
tuned;
2000-10-06, by wenzelm
* HOL/Lattice: fundamental concepts of lattice theory and order structures;
2000-10-06, by wenzelm
Updated README file for HOL/Real
2000-10-05, by fleuriot
new 'THEN' syntax;
2000-10-04, by wenzelm
tuned;
2000-10-04, by wenzelm
added more stuff;
2000-10-04, by wenzelm
improved @;
2000-10-04, by wenzelm
'THEN', 'COMP': improved optional position arg;
2000-10-04, by wenzelm
added "bracks";
2000-10-04, by wenzelm
*** empty log message ***
2000-10-04, by nipkow
Hoare logic in Isar;
2000-10-03, by wenzelm
tuned deps;
2000-10-03, by wenzelm
tuned;
2000-10-03, by wenzelm
added Hoare;
2000-10-03, by wenzelm
hide declaratations;
2000-10-03, by wenzelm
added Isar_examples/Hoare.thy Isar_examples/HoareEx.thy;
2000-10-03, by wenzelm
unsymbolized;
2000-10-03, by wenzelm
tuned names;
2000-10-03, by wenzelm
major cleanup -- improved typesetting;
2000-10-03, by wenzelm
unsymbolize;
2000-10-03, by wenzelm
eliminated \<oplus>;
2000-10-03, by wenzelm
removed "symbols" syntax for constant "override";
2000-10-03, by wenzelm
reorganized AxClasses;
2000-10-03, by wenzelm
reorganized AxClasses;
2000-10-03, by wenzelm
moved axclass tutorial examples to top dir;
2000-10-03, by wenzelm
*** empty log message ***
2000-10-03, by nipkow
updated;
2000-10-03, by wenzelm
range declared as syntax;
2000-10-03, by wenzelm
added == transitive rule (bad idea??);
2000-10-02, by wenzelm
improved t.weak_case_cong text;
2000-10-02, by wenzelm
delcongs weak_case_congs;
2000-10-02, by wenzelm
renamed "None" to "NONE" (avoid clash with option type);
2000-10-02, by wenzelm
qed "";
2000-10-02, by wenzelm
tuned;
2000-10-02, by wenzelm
*** empty log message ***
2000-10-02, by nipkow
*** empty log message ***
2000-10-02, by nipkow
*** empty log message ***
2000-10-02, by nipkow
export get_datatypes_sg;
2000-10-02, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-120
+120
+1000
+3000
+10000
+30000
tip