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

new theory IntDiv.thy
1999-07-08, by paulson
new files IntDiv.{thy,ML}
1999-07-08, by paulson
tuned output;
1999-07-07, by wenzelm
simp only: attribute, method arg;
1999-07-06, by wenzelm
use generic numeral encoding and syntax;
1999-07-06, by wenzelm
adapted to generic numerals;
1999-07-06, by wenzelm
simp only;
1999-07-06, by wenzelm
added Numeral.thy;
1999-07-06, by wenzelm
_reflcl;
1999-07-06, by wenzelm
added Numeral.thy, Tools/numeral_syntax.ML;
1999-07-06, by wenzelm
removed proof history nesting commands (not useful);
1999-07-06, by wenzelm
improved errors;
1999-07-06, by wenzelm
removed nesting (unused);
1999-07-06, by wenzelm
export term_of_typ;
1999-07-06, by wenzelm
begin_theory: disallow finished;
1999-07-06, by wenzelm
added clear_mss;
1999-07-06, by wenzelm
variant version;
1999-07-05, by wenzelm
fixed scope of x:??H;
1999-07-04, by wenzelm
close_block: transfer_used_names;
1999-07-04, by wenzelm
added transfer_used_names;
1999-07-04, by wenzelm
oops;
1999-07-03, by wenzelm
proper text;
1999-07-03, by wenzelm
tuned;
1999-07-03, by wenzelm
tuned print_state;
1999-07-03, by wenzelm
fixed 'txt';
1999-07-03, by wenzelm
pretty_thm: include oracles (!) in hyps;
1999-07-03, by wenzelm
skip_proof feature 'sorry' (for quick_and_dirty mode only);
1999-07-02, by wenzelm
generalized fixes get index 0;
1999-07-02, by wenzelm
added 'txt';
1999-07-02, by wenzelm
add_txt;
1999-07-02, by wenzelm
tuned;
1999-07-02, by wenzelm
fixed order_trans;
1999-07-01, by wenzelm
added KnasterTarski.thy;
1999-07-01, by wenzelm
renamed with/APP to of/OF;
1999-07-01, by wenzelm
Isar_examples/KnasterTarski.thy;
1999-07-01, by wenzelm
added with_facts(_i);
1999-07-01, by wenzelm
'with' as == 'from' as facts;
1999-07-01, by wenzelm
also, finally: opt_rules;
1999-07-01, by wenzelm
have_thmss: more_ths;
1999-07-01, by wenzelm
have_thmss: more_ths;
1999-07-01, by wenzelm
renamed with/APP to of/OF;
1999-07-01, by wenzelm
tuned;
1999-07-01, by wenzelm
fixed backtracking of global_qed;
1999-07-01, by wenzelm
added check_result;
1999-07-01, by wenzelm
setmp Display.show_hyps false;
1999-07-01, by wenzelm
fix, assume, presume: prf_asm;
1999-07-01, by wenzelm
added prf_asm;
1999-07-01, by wenzelm
expandshort
1999-07-01, by paulson
many new theorems concerning multiplication and (in)equations
1999-07-01, by paulson
now div and mod are overloaded; dvd is polymorphic
1999-07-01, by paulson
new laws mult_le_cancel1, mult_le_cancel2
1999-07-01, by paulson
antisym first;
1999-06-30, by wenzelm
more robust trans rules;
1999-06-30, by wenzelm
Isar.sync_main;
1999-06-30, by wenzelm
added sync;
1999-06-30, by wenzelm
sync token;
1999-06-30, by wenzelm
sync;
1999-06-30, by wenzelm
added sync marker;
1999-06-30, by wenzelm
New thm trancl_trans_induct
1999-06-30, by nipkow
Bad translation fixed.
1999-06-29, by nipkow

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

isabelle