Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-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.
renamed the underlying relation of leadsTo from "leadsto"
1999-06-08, by paulson
removed obsolete "Prefix" ancestor
1999-06-08, by paulson
new classical example from Lewis Carroll via S G Pulman
1999-06-08, by paulson
tuned mode_name;
1999-06-07, by wenzelm
improved handling of assumptions;
1999-06-07, by wenzelm
facts: bind named props (from proof.ML/let_thms);
1999-06-07, by wenzelm
reset HOL_quantifiers by default;
1999-06-07, by wenzelm
Added lots of 'replicate' lemmas.
1999-06-07, by nipkow
groups as monoids;
1999-06-05, by wenzelm
tuned comments;
1999-06-05, by wenzelm
added Ord.order_antisym;
1999-06-05, by wenzelm
auto_bind_goal, auto_bind_facts;
1999-06-05, by wenzelm
auto_bind_goal, auto_bind_facts;
1999-06-05, by wenzelm
added get_st;
1999-06-05, by wenzelm
tuned;
1999-06-05, by wenzelm
varifyT': observe additional 'fixed' tfrees;
1999-06-05, by wenzelm
removed ObjectLogic.setup;
1999-06-05, by wenzelm
proper calculation;
1999-06-05, by wenzelm
renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
1999-06-05, by wenzelm
fixed "...": dest_arg;
1999-06-04, by wenzelm
oops;
1999-06-04, by wenzelm
added order_le_less_trans, order_less_le_trans;
1999-06-04, by wenzelm
Calculation.thy: Setup transitivity rules for calculational proofs.
1999-06-04, by wenzelm
Support for calculational proofs.
1999-06-04, by wenzelm
added put_st;
1999-06-04, by wenzelm
added the_fact, level;
1999-06-04, by wenzelm
export multi_resolve;
1999-06-04, by wenzelm
added also, finally;
1999-06-04, by wenzelm
added 'also', 'finally' commands;
1999-06-04, by wenzelm
added COMP attribute;
1999-06-04, by wenzelm
added calculation.ML;
1999-06-04, by wenzelm
added Isar/calculation.ML;
1999-06-04, by wenzelm
fixed BUG in have_thmss: return thy';
1999-06-04, by wenzelm
added dest_main_statement;
1999-06-04, by wenzelm
print "..." variable;
1999-06-04, by wenzelm
no message "Adding axioms for datatype(s)";
1999-06-04, by wenzelm
added Group.thy;
1999-06-04, by wenzelm
added Isar_examples/Group.thy;
1999-06-04, by wenzelm
Some bits of group theory. Demonstrate calculational proofs.
1999-06-04, by wenzelm
read_term/prop_pat: do not freeze;
1999-06-02, by wenzelm
added dddot_tr;
1999-06-02, by wenzelm
added dddot_indexname;
1999-06-02, by wenzelm
"..." syntax;
1999-06-02, by wenzelm
find -print;
1999-06-02, by wenzelm
'kill' made improper;
1999-06-01, by wenzelm
improved print_state;
1999-06-01, by wenzelm
'note': Toplevel.print;
1999-06-01, by wenzelm
tuned markup;
1999-06-01, by wenzelm
broder size 3;
1999-06-01, by wenzelm
setup_goal: proper handling of non-atomic goals (include cprems into asms);
1999-05-31, by wenzelm
Isabelle manuals now also available as PDF;
1999-05-31, by wenzelm
move pdfs back into dist;
1999-05-28, by wenzelm
pdf docs;
1999-05-28, by wenzelm
separate archive for pdf docs;
1999-05-28, by wenzelm
\def\bold;
1999-05-28, by wenzelm
tuned formal comments;
1999-05-28, by wenzelm
tuned manual.bib;
1999-05-28, by wenzelm
changed {| |} verbatim syntax to {* *};
1999-05-27, by wenzelm
changed {| |} verbatim syntax to {* *} in order to simplify ProofGeneral setup;
1999-05-27, by wenzelm
improved undo / kill operations;
1999-05-27, by wenzelm
less
more
|
(0)
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip