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 JavaScript-enabled browsers.
auto update
2005-03-18, by paulson
meson now checks that problems are first-order
2005-03-17, by paulson
added string_of_term
2005-03-17, by nipkow
Bugfix related to the interpretation of IDT constructors
2005-03-17, by webertj
more concise ASCII escaping
2005-03-15, by paulson
fixed syntax for Let <x,y> = a in e
2005-03-14, by huffman
bug fixes involving typechecking clauses
2005-03-14, by paulson
removed theorems about Sinl_Rep and Sinr_Rep
2005-03-12, by huffman
simplified some definitions, many proofs are much shorter
2005-03-11, by huffman
minor Library.option related modifications
2005-03-11, by webertj
code reformatted
2005-03-11, by webertj
code reformatted
2005-03-11, by webertj
fixed bug: domain package can now define three or more mutually recursive types simultaneously
2005-03-11, by huffman
domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
2005-03-11, by huffman
fixed filename in header
2005-03-10, by huffman
instance u :: (cpo) pcpo -- argument type no longer needs to be pointed
2005-03-10, by huffman
Registrations of global locale interpretations: improved, better naming.
2005-03-10, by ballarin
Debugging code (error_depth) removed.
2005-03-10, by ballarin
First version of global registration command.
2005-03-09, by ballarin
fix integer overflow in numeral syntax for SML NJ.
2005-03-08, by obua
fixed variable name
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
removed Cprod3_lemma1 and Cprod3_lemma2
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
added subsection headings, cleaned up some proofs
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
added subsections and text for document generation
2005-03-07, by huffman
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
2005-03-07, by huffman
HTML 4.01 Transitional conformity
2005-03-07, by webertj
refute_params: default value itself=1 added (for type classes)
2005-03-07, by webertj
HTML 4.01 Transitional conformity
2005-03-07, by webertj
HTML 4.01 Transitional conformity
2005-03-07, by webertj
now checks for higher-order vars
2005-03-07, by paulson
Cleaning up HOL/Matrix
2005-03-07, by obua
Tools/meson.ML: signature, structure and "open" rather than "local"
2005-03-07, by paulson
add header
2005-03-04, by huffman
fix headers
2005-03-04, by huffman
converted to new-style theories, and combined numbered files
2005-03-04, by huffman
document generation for HOLCF
2005-03-04, by huffman
Removed practically all references to Library.foldr.
2005-03-04, by skalberg
new first_order test
2005-03-04, by paulson
removed dead code
2005-03-04, by paulson
interpreter for Finite_Set.Finites added
2005-03-03, by webertj
Move towards standard functions.
2005-03-03, by skalberg
fixed proof
2005-03-03, by nipkow
converted to new-style theory
2005-03-03, by huffman
converted to new-style theory
2005-03-03, by huffman
converted to new-style theory
2005-03-02, by huffman
converted to new-style theory
2005-03-02, by huffman
converted to new-style theory
2005-03-02, by huffman
converted to new-style theory
2005-03-02, by huffman
converted to new-style theory
2005-03-02, by huffman
another reorganization of setsums and intervals
2005-03-02, by nipkow
lucas - fixed bug with name capture variables bound outside redex could (previously)conflict with scheme variables that occur in the conditions of an equation, and which were renamed to avoid conflict with another instantiation. This has now been fixed.
2005-03-02, by dixon
obscured the e-mail address lcp@cl
2005-03-02, by paulson
new lemmas int_diff_cases
2005-03-02, by paulson
eliminated deps for removed files
2005-03-02, by huffman
merged into Discrete.thy
2005-03-02, by huffman
converted to new-style theory
2005-03-02, by huffman
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip