Tue, 25 May 2010 07:59:16 +0200 |
Christian Urban |
edits from the reviewers
|
file |
diff |
annotate
|
Mon, 24 May 2010 22:47:06 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Wed, 19 May 2010 12:43:38 +0100 |
Christian Urban |
added comments about pottiers work
|
file |
diff |
annotate
|
Tue, 18 May 2010 14:40:05 +0100 |
Christian Urban |
soem minor tuning
|
file |
diff |
annotate
|
Sun, 16 May 2010 11:00:44 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Sat, 15 May 2010 22:06:06 +0100 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
Fri, 14 May 2010 21:18:34 +0100 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
Fri, 14 May 2010 15:02:25 +0100 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
Thu, 13 May 2010 17:41:28 +0100 |
Christian Urban |
tuned the paper
|
file |
diff |
annotate
|
Tue, 27 Apr 2010 19:51:35 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|
Tue, 27 Apr 2010 13:44:27 +0200 |
Christian Urban |
one more pass over the paper
|
file |
diff |
annotate
|
Tue, 27 Apr 2010 12:23:06 +0200 |
Christian Urban |
more polishing on the paper
|
file |
diff |
annotate
|
Mon, 26 Apr 2010 20:17:41 +0200 |
Christian Urban |
some changes to the paper
|
file |
diff |
annotate
|
Wed, 21 Apr 2010 17:42:57 +0200 |
Christian Urban |
some small changes
|
file |
diff |
annotate
|
Mon, 19 Apr 2010 15:37:33 +0200 |
Christian Urban |
small updates to the paper; remaining points in PAPER-TODO
|
file |
diff |
annotate
|
Thu, 15 Apr 2010 16:01:28 +0200 |
Christian Urban |
typo
|
file |
diff |
annotate
|
Thu, 15 Apr 2010 11:05:54 +0200 |
Cezary Kaliszyk |
Minor paper fixes.
|
file |
diff |
annotate
|
Fri, 09 Apr 2010 11:08:05 +0200 |
Christian Urban |
renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
|
file |
diff |
annotate
|
Thu, 08 Apr 2010 14:18:38 +0200 |
Christian Urban |
clarified comment about distinct lists in th efuture work section
|
file |
diff |
annotate
|
Tue, 06 Apr 2010 07:36:15 +0200 |
Christian Urban |
typos in paper
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 15:28:55 +0200 |
Christian Urban |
submitted version (just in time ;o)
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 13:12:10 +0200 |
Christian Urban |
first complete version (slightly less than 3h more to go)
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 07:59:03 +0200 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 07:43:22 +0200 |
Christian Urban |
tuned strong ind section
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 07:30:25 +0200 |
Christian Urban |
polished infrastruct section
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 06:45:50 +0200 |
Christian Urban |
completed lifting section
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 05:09:47 +0200 |
Christian Urban |
more on the lifting section
|
file |
diff |
annotate
|
Fri, 02 Apr 2010 03:23:25 +0200 |
Christian Urban |
more on the strong induction section
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 18:45:50 +0200 |
Christian Urban |
completed conclusion
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 17:56:26 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 17:55:46 +0200 |
Christian Urban |
updated related work section
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 17:00:52 +0200 |
Cezary Kaliszyk |
Update fv_bn definition for bindings allowed in types for which bn is present.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 16:17:56 +0200 |
Cezary Kaliszyk |
Minor formula fixes.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 16:08:54 +0200 |
Christian Urban |
fixed alpha_bn
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 15:41:48 +0200 |
Christian Urban |
current state
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 14:53:14 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 14:49:01 +0200 |
Christian Urban |
added alpha_bn definition
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 14:50:58 +0200 |
Cezary Kaliszyk |
hfill for right aligning single table cells.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 14:09:47 +0200 |
Cezary Kaliszyk |
Cleaning the strong induction example.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 12:19:26 +0200 |
Cezary Kaliszyk |
minor
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 12:13:25 +0200 |
Cezary Kaliszyk |
Fighting with space in displaying strong induction...
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 11:34:43 +0200 |
Cezary Kaliszyk |
starting strong induction
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 10:57:49 +0200 |
Cezary Kaliszyk |
General paper minor fixes.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 08:06:01 +0200 |
Cezary Kaliszyk |
Fill the space below the figure.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 06:47:37 +0200 |
Christian Urban |
last commit for now.
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 06:04:43 +0200 |
Christian Urban |
more on the conclusion
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 05:40:12 +0200 |
Christian Urban |
completed related work section
|
file |
diff |
annotate
|
Thu, 01 Apr 2010 03:28:28 +0200 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 22:48:35 +0200 |
Christian Urban |
polished everything up to TODO
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 18:47:22 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 18:47:02 +0200 |
Christian Urban |
added alpha-definition for ~~ty
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 17:51:15 +0200 |
Cezary Kaliszyk |
permute_bn
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 17:04:09 +0200 |
Christian Urban |
abbreviations for \<otimes> and \<oplus>
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 16:27:57 +0200 |
Christian Urban |
merged
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 16:26:51 +0200 |
Christian Urban |
polished and removed tys from bn-functions.
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 15:20:58 +0200 |
Cezary Kaliszyk |
merge
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 12:30:17 +0200 |
Cezary Kaliszyk |
More on paper
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 05:44:24 +0200 |
Christian Urban |
started to polish alpha-equivalence section, but needs more work
|
file |
diff |
annotate
|
Wed, 31 Mar 2010 02:59:18 +0200 |
Christian Urban |
started with a related work section
|
file |
diff |
annotate
|
Tue, 30 Mar 2010 22:31:15 +0200 |
Christian Urban |
polished and added an example for fvars
|
file |
diff |
annotate
|