| 2010-04-01 |
Cezary Kaliszyk |
fv_perm_bn
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Minor formula fixes.
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
fixed alpha_bn
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
current state
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
added alpha_bn definition
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
hfill for right aligning single table cells.
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Cleaning the strong induction example.
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
minor
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Fighting with space in displaying strong induction...
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
starting strong induction
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
General paper minor fixes.
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Forgot to save before commit.
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Let with multiple bindings.
|
changeset |
files
|
| 2010-04-01 |
Cezary Kaliszyk |
Fill the space below the figure.
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
last commit for now.
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
more on the conclusion
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
completed related work section
|
changeset |
files
|
| 2010-04-01 |
Christian Urban |
more on the paper
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
added an item about alpha-equivalence (the existential should be closer to the abstraction)
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
polished everything up to TODO
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
added alpha-definition for ~~ty
|
changeset |
files
|
| 2010-03-31 |
Cezary Kaliszyk |
permute_bn
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
abbreviations for \<otimes> and \<oplus>
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
a test with let having multiple bodies
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
polished and removed tys from bn-functions.
|
changeset |
files
|
| 2010-03-31 |
Cezary Kaliszyk |
merge
|
changeset |
files
|
| 2010-03-31 |
Cezary Kaliszyk |
More on paper
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
started to polish alpha-equivalence section, but needs more work
|
changeset |
files
|
| 2010-03-31 |
Christian Urban |
started with a related work section
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
polished and added an example for fvars
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
cleaned up the section about fv's
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
tuned beginning of section 4
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
More on section 5.
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
More on section 5.
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
removed "raw" distinction
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
More on Section 5
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
Beginning of section 5.
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
Avoid mentioning other nominal datatypes as it makes things too complicated.
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
close the missing parenthesis on both sides.
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
merged
|
changeset |
files
|
| 2010-03-30 |
Christian Urban |
changes to section 2
|
changeset |
files
|
| 2010-03-30 |
Cezary Kaliszyk |
Clean alpha
|
changeset |
files
|