Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2013-10-29
nipkow
more exercises
changeset
|
files
2013-10-28
nipkow
merged
changeset
|
files
2013-10-28
nipkow
more exercises
changeset
|
files
2013-10-27
blanchet
commented out vaporware
changeset
|
files
2013-10-26
nipkow
more exercises
changeset
|
files
2013-10-26
blanchet
tuning
changeset
|
files
2013-10-26
blanchet
tuning
changeset
|
files
2013-10-26
blanchet
tuned names (to make them independent from temporary naming convention used in characteristic theorems)
changeset
|
files
2013-10-26
blanchet
align 'primrec_new' on 'primcorec' (+ got rid of one more 'dummyT')
changeset
|
files
2013-10-26
blanchet
convenience: handle composition gracefully in map in 'primcorec', analogously to 'primrec_new'
changeset
|
files
2013-10-26
blanchet
tuned error message
changeset
|
files
2013-10-25
nipkow
more exercises
changeset
|
files
2013-10-24
blanchet
handle applied ctor arguments gracefully when computing 'callssss' (for recursion through functions)
changeset
|
files
2013-10-24
blanchet
tuning
changeset
|
files
2013-10-24
blanchet
more correct (!) types for recursive calls
changeset
|
files
Loading...
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
+1000
+3000
+10000
tip