nominal2: Graph

Mercurial Mercurial > hg > nominal2 / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -1000 -300 -100 -60 +60 +100 +300 +1000 tip

final version of the pearl paper
2010-04-08, by Christian Urban
my final version of the paper
2010-04-07, by Christian Urban
added an induction principle for permutations; removed add_perm construction
2010-04-07, by Christian Urban
isarfied proof about existence of a permutation list
2010-04-06, by Christian Urban
added reference to E. Gunter's work
2010-04-06, by Christian Urban
typos in paper
2010-04-06, by Christian Urban
separated general nominal theory into separate folder
2010-04-04, by Christian Urban
added README and moved examples into separate directory
2010-04-03, by Christian Urban
merged pearl paper with this repository; started litrature subdirectory
2010-04-03, by Christian Urban
submitted version (just in time ;o)
2010-04-02, by Christian Urban
first complete version (slightly less than 3h more to go)
2010-04-02, by Christian Urban
tuned
2010-04-02, by Christian Urban
tuned strong ind section
2010-04-02, by Christian Urban
polished infrastruct section
2010-04-02, by Christian Urban
completed lifting section
2010-04-02, by Christian Urban
more on the lifting section
2010-04-02, by Christian Urban
more on the strong induction section
2010-04-02, by Christian Urban
completed conclusion
2010-04-01, by Christian Urban
merged
2010-04-01, by Christian Urban
merged
2010-04-01, by Christian Urban
updated related work section
2010-04-01, by Christian Urban
fv_fv_bn
2010-04-01, by Cezary Kaliszyk
Update fv_bn definition for bindings allowed in types for which bn is present.
2010-04-01, by Cezary Kaliszyk
fv_perm_bn
2010-04-01, by Cezary Kaliszyk
Minor formula fixes.
2010-04-01, by Cezary Kaliszyk
fixed alpha_bn
2010-04-01, by Christian Urban
current state
2010-04-01, by Christian Urban
merged
2010-04-01, by Christian Urban
added alpha_bn definition
2010-04-01, by Christian Urban
hfill for right aligning single table cells.
2010-04-01, by Cezary Kaliszyk
Cleaning the strong induction example.
2010-04-01, by Cezary Kaliszyk
minor
2010-04-01, by Cezary Kaliszyk
Fighting with space in displaying strong induction...
2010-04-01, by Cezary Kaliszyk
starting strong induction
2010-04-01, by Cezary Kaliszyk
General paper minor fixes.
2010-04-01, by Cezary Kaliszyk
Forgot to save before commit.
2010-04-01, by Cezary Kaliszyk
Let with multiple bindings.
2010-04-01, by Cezary Kaliszyk
Fill the space below the figure.
2010-04-01, by Cezary Kaliszyk
last commit for now.
2010-04-01, by Christian Urban
more on the conclusion
2010-04-01, by Christian Urban
completed related work section
2010-04-01, by Christian Urban
more on the paper
2010-04-01, by Christian Urban
added an item about alpha-equivalence (the existential should be closer to the abstraction)
2010-04-01, by Christian Urban
polished everything up to TODO
2010-03-31, by Christian Urban
merged
2010-03-31, by Christian Urban
added alpha-definition for ~~ty
2010-03-31, by Christian Urban
permute_bn
2010-03-31, by Cezary Kaliszyk
abbreviations for \<otimes> and \<oplus>
2010-03-31, by Christian Urban
merged
2010-03-31, by Christian Urban
a test with let having multiple bodies
2010-03-31, by Christian Urban
polished and removed tys from bn-functions.
2010-03-31, by Christian Urban
merge
2010-03-31, by Cezary Kaliszyk
More on paper
2010-03-31, by Cezary Kaliszyk
started to polish alpha-equivalence section, but needs more work
2010-03-31, by Christian Urban
started with a related work section
2010-03-31, by Christian Urban
polished and added an example for fvars
2010-03-30, by Christian Urban
cleaned up the section about fv's
2010-03-30, by Christian Urban
tuned beginning of section 4
2010-03-30, by Christian Urban
More on section 5.
2010-03-30, by Cezary Kaliszyk
More on section 5.
2010-03-30, by Cezary Kaliszyk

less more | (0) -1000 -300 -100 -60 +60 +100 +300 +1000 tip

nominal2