isabelle: Graph

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

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
fixed corruptoin of end of file
1999-05-27, by paulson
removal of Always_StableI
1999-05-27, by paulson
replaced rules Always_ConstrainsI/D by equivalences Always_Constrains_pre,
1999-05-27, by paulson
component_eq_subset: a neat characterization of "component"
1999-05-27, by paulson
ex/Points Isar'ized;
1999-05-26, by wenzelm
local_qed: print_result;
1999-05-26, by wenzelm
cannot_undo;
1999-05-26, by wenzelm
cannot_undo;
1999-05-26, by wenzelm
qed_block keywords;
1999-05-26, by wenzelm
local qeds: pass cond_print_result;
1999-05-26, by wenzelm
cleaned comments;
1999-05-26, by wenzelm
new theories Follows and ListOrder
1999-05-26, by paulson
formal comments (still dummy);
1999-05-25, by wenzelm
added formal comment arguments almost everywhere (still ignored);
1999-05-25, by wenzelm
renamed Comment.empty to Comment.none;
1999-05-25, by wenzelm
renamed Comment.empty to Comment.none;
1999-05-25, by wenzelm
renamed empty to none;
1999-05-25, by wenzelm
fixed cvs Id;
1999-05-25, by wenzelm
outer syntax keyword classification;
1999-05-24, by wenzelm
added keyword classification;
1999-05-24, by wenzelm
tuned print_context;
1999-05-24, by wenzelm
write_keywords generates outer syntax keyword classification in elisp;
1999-05-24, by wenzelm
outer syntax keyword classification;
1999-05-24, by wenzelm
renamed Lprg to Lift; simplified proof of Always_nonneg
1999-05-24, by paulson
int_Suc->int_Suc_int_1 avoiding confusion with the more useful Bin.int_Suc
1999-05-24, by paulson
Better simplification of (nat #0), (int (Suc 0)), etc
1999-05-24, by paulson
UN_singleton->UN_constant_eq removes clash with other UN_singleton
1999-05-24, by paulson
new rule single_leadsTo_I; stronger PSP rule
1999-05-24, by paulson
increasing makes sense only for partial orderings
1999-05-24, by paulson
generalized increasing_size to mono_increasing_o
1999-05-24, by paulson
updated for stronger version of psp
1999-05-24, by paulson

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

isabelle