Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+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.
Working version of NS, messages 1-3, WITH INTERLEAVING
1996-08-20, by paulson
Added ref to allow suppression of error msgs
1996-08-20, by paulson
New classical reasoner: warns of, and ignores, redundant rules.
1996-08-20, by paulson
Addition of function set_of_list
1996-08-20, by paulson
Some tidying. This brittle proof depends upon
1996-08-20, by paulson
Corrected for new classical reasoner: redundant rules
1996-08-20, by paulson
updated html-link
1996-08-19, by nipkow
Installation of auto_tac; re-organization
1996-08-19, by paulson
Tidied up the proofs
1996-08-19, by paulson
Added impOfSubs
1996-08-19, by paulson
Now less_zeroE is a Safe Elim rule
1996-08-19, by paulson
Improved comment
1996-08-19, by paulson
Added proof of Un_insert_right
1996-08-19, by paulson
Changed precedences to remove ambiguities in r^+ notation
1996-08-19, by paulson
Improved the proof of Problem 38
1996-08-19, by paulson
Added a lot of basic laws, from HOL/simpdata
1996-08-19, by paulson
Renaming of functions, and tidying
1996-08-19, by paulson
Now starts with set_current_thy
1996-08-19, by paulson
Tidied some proofs
1996-08-19, by paulson
Tidied some proofs, maybe using less_SucE
1996-08-19, by paulson
Removal of less_SucE as default SE rule
1996-08-19, by paulson
Renamed setOfList to set_of_list
1996-08-19, by paulson
Minor improvements of the scripts
1996-08-16, by oheimb
Improved (?) wording of error message
1996-08-12, by paulson
Added a new section on Definitions
1996-08-12, by paulson
Rewording: parameters->arguments!
1996-08-12, by paulson
Initial revision of thy_data.ML
1996-08-08, by berghofe
Added function for storing default claset in theory.
1996-08-08, by berghofe
Removed unnecessary Addsimps.
1996-08-08, by berghofe
Simplified primrec definitions.
1996-08-08, by berghofe
less
more
|
(0)
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip