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 JavaScriptenabled browsers.
merged
20090110, by wenzelm
fixed proof involving dvd;
20090110, by wenzelm
tuned;
20090110, by wenzelm
added force_result;
20090110, by wenzelm
use_thys: perform consolidate_thy on loaded theories, which removes failed nodes in posthoc fashion;
20090110, by wenzelm
simplified join_proofs;
20090110, by wenzelm
merged
20090109, by wenzelm
added split_thy_path;
20090109, by wenzelm
added running task markup;
20090109, by wenzelm
tuned;
20090108, by wenzelm
merged
20090108, by wenzelm
merged
20090109, by wenzelm
merged.
20090109, by huffman
fix proof broken by changes in dvd theory
20090109, by huffman
merged.
20090108, by huffman
remove typespecific proofs
20090108, by huffman
add lemma dvd_diff to class comm_ring_1
20090108, by huffman
add lemmas dvd_minus_iff and minus_dvd_iff in class comm_ring_1
20090108, by huffman
move lemmas mult_minus{left,right} inside class ring
20090108, by huffman
clean up division_ring proofs
20090108, by huffman
add class ring_div; generalize mod/diff/minus proofs for class ring_div
20090108, by huffman
generalize zmod_zmod_cancel > mod_mod_cancel
20090108, by huffman
generalize some div/mod lemmas; remove typespecific proofs
20090108, by huffman
add tracing for domain package proofs
20090107, by huffman
rename abbreviation square > power2, to match theorem names
20090106, by huffman
merged
20090109, by haftmann
split of Imperative_HOL theories from HOLLibrary
20090108, by haftmann
NEWS and CONTRIBUTORS
20090108, by haftmann
dded code_thm antiquotation
20090108, by haftmann
made SML/NJ happy
20090108, by haftmann
merged
20090107, by wenzelm
merged
20090107, by haftmann
tuned siganture of locale.ML
20090107, by haftmann
tuned signature; internal code reorganisation
20090107, by haftmann
tuned signature; changed locale predicate name convention
20090107, by haftmann
changed locale predicate name convention
20090107, by haftmann
inductive: added fork_mono flag;
20090107, by wenzelm
added fork_mono flag, which is usually enabled in batchmode only;
20090107, by wenzelm
Proof.global_future_terminal_proof;
20090107, by wenzelm
Proof.global_future_proof;
20090107, by wenzelm
future_proof: refined version covers local_future_proof and global_future_proof;
20090107, by wenzelm
more robust propagation of errors through bulk jobs;
20090107, by wenzelm
qed/after_qed: singleton result;
20090107, by wenzelm
Proof.future_terminal_proof: no fork for interactive mode  proofs need to be checked immediately here;
20090107, by wenzelm
future_terminal_proof: no fork for interactive mode, assert_backward;
20090107, by wenzelm
added local_theory';
20090107, by wenzelm
merged
20090107, by haftmann
proper local_theory after Class.class
20090107, by haftmann
more parallel loading;
20090106, by wenzelm
more parallel loading;
20090106, by wenzelm
merged
20090106, by wenzelm
merged.
20090106, by huffman
make cont_proc handle etacontracted terms
20090106, by huffman
implement is_closed_term using Term.loose_bvar
20090106, by huffman
use Thm.close_derivation instead of standard
20090105, by huffman
tuned;
20090106, by wenzelm
merged
20090106, by wenzelm
renamed structure ParList to Par_List;
20090106, by wenzelm
parallelized merge_data;
20090106, by wenzelm
tuned map: reduced overhead due to bulk jobs;
20090106, by wenzelm
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip