Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+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.
fix bug that occurred with 'domain_isomorphism foo = foo * tr * tr'
2010-03-07, by huffman
merged
2010-03-07, by haftmann
dropped dead code; adhere more closely to standard coding conventions
2010-03-07, by haftmann
merged
2010-03-07, by huffman
arith tactic uses 'priority' instead of 'warning' to print messages
2010-03-07, by huffman
add simp rules about Ints, Nats
2010-03-07, by huffman
add more simp rules for Ints
2010-03-07, by huffman
add lemmas Nats_cases and Nats_induct
2010-03-07, by huffman
generalize some lemmas, and remove a few unnecessary ones
2010-03-07, by huffman
generalize some lemmas from class linordered_ring_strict to linordered_ring
2010-03-06, by huffman
add case_names attribute to casedist and ind rules
2010-03-06, by huffman
add some lemmas about complete lattices
2010-03-06, by huffman
Digesting strings according to SHA-1.
2010-03-07, by wenzelm
proper int wrapping for Word32;
2010-03-07, by wenzelm
separate structure Typedecl;
2010-03-07, by wenzelm
modernized structure Object_Logic;
2010-03-07, by wenzelm
modernized structure Local_Defs;
2010-03-07, by wenzelm
merged
2010-03-06, by paulson
merged
2010-03-06, by paulson
simplified
2010-03-06, by paulson
merged
2010-03-06, by haftmann
lemma restrict_complement_singleton_eq
2010-03-06, by haftmann
some lemma refinements
2010-03-06, by haftmann
added Table.thy
2010-03-06, by haftmann
provide ProofContext.def_type depending on "pattern" mode;
2010-03-06, by wenzelm
record_type_tr': more robust strip_fields (printed types are not necessarily well-formed, e.g. in Syntax.pretty_arity);
2010-03-06, by wenzelm
record_type_abbr_tr': removed obsolete workaround for decode_type, which now retains syntactic categories of variables vs. constructors (authentic syntax);
2010-03-06, by wenzelm
eliminated Args.bang_facts (legacy feature);
2010-03-06, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip