Mercurial
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
branches
|
file
| revisions |
annotate
|
diff
|
rss
src/HOL/Library/NatPair.thy
2004-05-06
wenzelm
2004-05-06
tuned document;
file
|
diff
|
annotate
2004-02-26
nipkow
2004-02-26
corrected authors
file
|
diff
|
annotate
2003-07-24
paulson
2003-07-24
new theory NatPair of the injection from nat*nat -> nat
file
|
diff
|
annotate