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.
Fixed spelling error.
2003-10-13, by skalberg
Added overview page.
2003-10-10, by berghofe
Munich webserver is now atbroy1
2003-10-10, by berghofe
trivial
2003-10-10, by paulson
finalconsts
2003-10-10, by paulson
Made judgments automatically declared final.
2003-10-10, by skalberg
better presentation
2003-10-10, by paulson
Added info on the new 'finalconsts' command.
2003-10-09, by skalberg
Added support for making constants final, that is, ensuring that no
2003-10-09, by skalberg
Added axiomatic specifications (ax_specification).
2003-10-08, by skalberg
now accepts DOS and Mac line breaks
2003-10-08, by paulson
Merging of ex/cla.ML and ex/mesontest.ML to ex/Classical.thy
2003-10-08, by paulson
added a comment
2003-10-03, by paulson
removal of junk and improvement of the document
2003-10-02, by paulson
Fixed inefficiency in post_definition by adding weak case congruence
2003-10-01, by berghofe
Removed garbage accidentally left behind in file.
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
Changed order of prems in finprod_cong. Slight speedup.
2003-09-30, by ballarin
Improvements wrt rule_tac.
2003-09-30, by ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
2003-09-30, by ballarin
new reference
2003-09-26, by paulson
tweak
2003-09-26, by paulson
misc tidying
2003-09-26, by paulson
Conversion of all main protocols from "Shared" to "Public".
2003-09-26, by paulson
Tidying of SET's "possibility theorems" (removal of Key_supply_ax)
2003-09-26, by paulson
new example for the Isar version of the ZF manual
2003-09-24, by paulson
Fixed soundness bug.
2003-09-23, by skalberg
conversion of NSP_Bad to Isar script
2003-09-23, by paulson
case_tac tweak
2003-09-23, by paulson
some basic new lemmas
2003-09-23, by paulson
Removal of the Key_supply axiom (affects many possbility proofs) and minor
2003-09-23, by paulson
new session HOL-SET-Protocol
2003-09-23, by paulson
Modified merge_aux to prevent newer names from getting overwritten
2003-09-22, by berghofe
add_attribute now takes parser as argument.
2003-09-22, by berghofe
Added "del" attribute for deleting equations.
2003-09-22, by berghofe
Changed interface of add_attribute.
2003-09-22, by berghofe
Improved efficiency of code generated for functions int and nat.
2003-09-22, by berghofe
Improved efficiency of code generated for + and -
2003-09-22, by berghofe
Improved efficiency of code generated for < predicate on natural numbers.
2003-09-22, by berghofe
Mod due to new thm in Map.
2003-09-15, by nipkow
Fixed blunder in the setup of the classical reasoner wrt. the constant
2003-09-15, by skalberg
Added the constant "curry".
2003-09-15, by skalberg
*** empty log message ***
2003-09-15, by nipkow
Added new theorems
2003-09-14, by nipkow
Added a number of thms about map restriction.
2003-09-11, by nipkow
Tried to make parser a bit more standard-conforming.
2003-09-04, by berghofe
Changed no_vars such that it outputs list of illegal schematic variables.
2003-09-04, by berghofe
quantifier symbols
2003-09-04, by paulson
conversion of HOL/Auth/KerberosIV to new-style theory
2003-09-04, by paulson
new, separate specifications
2003-09-04, by paulson
Introduced new syntax for maplets x |-> y
2003-09-03, by nipkow
Corrections due to John Matthews
2003-09-01, by paulson
Makes interactive proof scripting recognize the show_all_types flag.
2003-08-31, by skalberg
Added 'ambiguity_is_error' flag, which, if set, makes the parser fail,
2003-08-31, by skalberg
Added show_all_types flag, such that all type information in the term
2003-08-29, by skalberg
Method rule_tac understands Isar contexts: documentation.
2003-08-29, by ballarin
Methods rule_tac etc support static (Isar) contexts.
2003-08-29, by ballarin
Removed the extended digits again.
2003-08-29, by skalberg
Fixed typos.
2003-08-28, by skalberg
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip