Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-3000
-1000
-300
-100
-15
+15
+100
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.
added notes by referees to comment about our changes
2011-12-29, by Christian Urban
made the paper running again
2011-12-29, by Christian Urban
included Pi theory in tests
2011-12-23, by Christian Urban
added file by Kirstin
2011-12-23, by Christian Urban
merged
2011-12-22, by Christian Urban
moved TODO into the paper
2011-12-22, by Christian Urban
merged
2011-12-22, by Christian Urban
some slight tuning
2011-12-22, by Christian Urban
the default sort for type-variables in nominal specifications is fs; it is automatically addded
2011-12-22, by Christian Urban
fixed problem with equivariance for beta_star
2011-12-22, by Christian Urban
Reorder constructors to match Lambda
2011-12-21, by Cezary Kaliszyk
SFT/LambdaTerms: rename 'var' to 'name' to match Lambda.
2011-12-21, by Cezary Kaliszyk
SFT: Rename Lambda to LambdaTerms, rename constants to match Lambda, remove smt proofs.
2011-12-21, by Cezary Kaliszyk
Remove transitivity from the definition of One_star and show it instead.
2011-12-21, by Cezary Kaliszyk
Port CR_Takahashi from Nominal1, no more "sorry" in BetaCR.
2011-12-21, by Cezary Kaliszyk
less
more
|
(0)
-3000
-1000
-300
-100
-15
+15
+100
tip