Mercurial
Mercurial
>
hg
>
nominal2
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
README
2014-05-19
Christian Urban
changed nominal_primrec into the more appropriate nominal_function
file
|
diff
|
annotate
2013-03-11
Christian Urban
tuned
file
|
diff
|
annotate
2013-02-19
Christian Urban
updated for 2013 release
Nominal2-Isabelle2013
file
|
diff
|
annotate
2013-02-19
Christian Urban
updated README
file
|
diff
|
annotate
2013-02-19
Christian Urban
tuned
file
|
diff
|
annotate
2012-11-29
Christian Urban
fixed problem with not fresh enough permutation name in nominal_primrec
file
|
diff
|
annotate
2011-12-17
Christian Urban
cleaned all papers from the stable branch
Nominal2-Isabelle2011-1
file
|
diff
|
annotate
2010-11-14
Christian Urban
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy
file
|
diff
|
annotate
2010-10-13
Christian Urban
more on the pearl paper
file
|
diff
|
annotate
2010-08-29
Christian Urban
tuned
file
|
diff
|
annotate
2010-08-29
Christian Urban
updated todos
file
|
diff
|
annotate
2010-07-25
Christian Urban
added paper by james; some minor cleaning
file
|
diff
|
annotate
2010-04-04
Christian Urban
separated general nominal theory into separate folder
file
|
diff
|
annotate
2010-04-03
Christian Urban
added README and moved examples into separate directory
file
|
diff
|
annotate
less
more
(0)
tip