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.
*** empty log message ***
2005-03-31, by quigley
*** empty log message ***
2005-03-31, by quigley
added theorems eta_cfun and cont2cont_eta
2005-03-31, by huffman
chfin now a subclass of po, proved instance chfin < cpo
2005-03-31, by huffman
cleaned up some proofs
2005-03-31, by huffman
fixed bug in prj' function
2005-03-31, by huffman
changed comments to text blocks, cleaned up a few proofs
2005-03-31, by huffman
converted from DOS to UNIX format
2005-03-30, by paulson
converted HOL-Subst to tactic scripts
2005-03-29, by paulson
conversion of UNITY to Isar scripts
2005-03-28, by paulson
new display of theory stamps
2005-03-26, by paulson
op vor infix-Konstruktoren im datatype binding zum besseren Parsen
2005-03-26, by gagern
use Library/Multiset instead of own definition
2005-03-26, by kleing
fixed typo (multiset_append)
2005-03-26, by kleing
Add askguise/informguise as best as easily possible. Prevent warning in openfile when file doesn't exist in theory database.
2005-03-25, by aspinall
tidied up
2005-03-25, by paulson
Revert previous change (but leave comments).
2005-03-25, by aspinall
Support new PGIP commands redostep, redoitem
2005-03-25, by aspinall
Support non-standard file: URL syntax, temporarily.
2005-03-25, by aspinall
Further work on interpretation commands. New command `interpret' for
2005-03-24, by ballarin
*** empty log message ***
2005-03-24, by ballarin
Transitivity reasoner ignores types amenable to linear arithmetic.
2005-03-24, by ballarin
COMMENT IN WRONG PLACE
2005-03-24, by paulson
replaced bool by a new datatype "bit" for binary numerals
2005-03-23, by paulson
temporary removal of Import
2005-03-23, by paulson
tidied
2005-03-23, by paulson
auto update
2005-03-22, by paulson
deleted a pointless comment
2005-03-22, by paulson
ensuring that "equal" is not a function
2005-03-22, by paulson
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
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip