Mercurial
Mercurial
>
repos
>
testboard
/ 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.
added INIT message, with pid and session property;
20080105, by wenzelm
more instantiation
20080105, by haftmann
adhering to instantiation policy
20080105, by haftmann
cleaned up some proofs
20080104, by huffman
simplified some proofs
20080104, by huffman
partially adapted to new inversion rules
20080104, by urbanc
adapted to new inversion rules
20080104, by urbanc
fixed typo
20080104, by haftmann
improved warning
20080104, by haftmann
add new is_ub lemmas; clean up directed_finite proofs
20080104, by huffman
new instance proofs for classes finite_po, chfin, flat
20080104, by huffman
new lemma flat_less_iff
20080103, by huffman
generalized chfindom_monofun2cont
20080103, by huffman
Implemented proof of strong case analysis rule.
20080103, by berghofe
Added function fresh_const.
20080103, by berghofe
Added function partition_rules'.
20080103, by berghofe
another attempt to disable documents;
20080103, by wenzelm
simplified position_props, always include line/file fields;
20080103, by wenzelm
replaced thread_properties by simplified version in position.ML;
20080103, by wenzelm
nested_command: simplified properties vs. position  the latter also includes id now;
20080103, by wenzelm
type T: based on properties, added id field;
20080103, by wenzelm
moved id to position properties;
20080103, by wenzelm
instance unit :: finite_po
20080103, by huffman
new axclass finite_po < finite, po
20080103, by huffman
add lub_maximal lemmas;
20080103, by huffman
added class Property: basic Isabelle properties;
20080103, by wenzelm
tuned relevance test for presburger
20080103, by chaieb
output message properties: id or position;
20080103, by wenzelm
toplevel print_exn: proper setmp_thread_properties;
20080103, by wenzelm
added id property;
20080103, by wenzelm
Result: added props field;
20080103, by wenzelm
remove legacy ML bindings
20080103, by huffman
newstyle theorem references
20080103, by huffman
fix theorem references
20080103, by huffman
generalized and simplified proof of adm_Finite
20080103, by huffman
new lemma adm_upward
20080103, by huffman
Tuned (type information in Lemmas)
20080103, by chaieb
Changed order of tactics in presburger  thinning before case splits
20080103, by chaieb
maintain thread transition properties;
20080103, by wenzelm
setmp_thread_data;
20080103, by wenzelm
added setmp_thread_data;
20080103, by wenzelm
type transition: added properties field;
20080102, by wenzelm
added properties;
20080102, by wenzelm
Isabelle.command: IsarCmd.nested_command (with properties);
20080102, by wenzelm
added nested_command (with explicit position argument via properties);
20080102, by wenzelm
of_properties: return filtered result;
20080102, by wenzelm
added method encodeProperties;
20080102, by wenzelm
setting H 2000 and no documents for higher performance;
20080102, by wenzelm
add dcpo instance proof
20080102, by huffman
declare upE as cases rule; add new rule up_induct
20080102, by huffman
update sq_ord/po instance proofs
20080102, by huffman
move lemmas from Cont.thy to Ffun.thy;
20080102, by huffman
remove not_up_less_UU [simp]
20080102, by huffman
update instance proofs for sq_ord, po; new instance proofs for dcpo
20080102, by huffman
add lemma ub2ub_monofun'
20080102, by huffman
added dcpo instance proofs
20080102, by huffman
new class dcpo; added dcpo versions of some lemmas
20080102, by huffman
added new lemmas
20080102, by huffman
add lemma dir2dir_monofun
20080102, by huffman
tuned;
20080102, by wenzelm
less
more

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