Paper/Paper.thy
Wed, 31 Mar 2010 02:59:18 +0200 Christian Urban started with a related work section
Tue, 30 Mar 2010 22:31:15 +0200 Christian Urban polished and added an example for fvars
Tue, 30 Mar 2010 21:15:13 +0200 Christian Urban cleaned up the section about fv's
Tue, 30 Mar 2010 17:55:46 +0200 Christian Urban tuned beginning of section 4
Tue, 30 Mar 2010 17:52:16 +0200 Cezary Kaliszyk More on section 5.
Tue, 30 Mar 2010 17:00:34 +0200 Cezary Kaliszyk More on section 5.
Tue, 30 Mar 2010 16:59:23 +0200 Christian Urban merged
Tue, 30 Mar 2010 16:59:00 +0200 Christian Urban removed "raw" distinction
Tue, 30 Mar 2010 16:09:49 +0200 Cezary Kaliszyk More on Section 5
Tue, 30 Mar 2010 15:09:26 +0200 Cezary Kaliszyk Beginning of section 5.
Tue, 30 Mar 2010 15:07:42 +0200 Christian Urban merged
Tue, 30 Mar 2010 13:58:07 +0200 Cezary Kaliszyk Avoid mentioning other nominal datatypes as it makes things too complicated.
Tue, 30 Mar 2010 13:37:35 +0200 Christian Urban merged
Tue, 30 Mar 2010 13:36:02 +0200 Cezary Kaliszyk close the missing parenthesis on both sides.
Tue, 30 Mar 2010 13:23:12 +0200 Christian Urban merged
Tue, 30 Mar 2010 13:22:54 +0200 Christian Urban changes to section 2
Tue, 30 Mar 2010 12:31:28 +0200 Cezary Kaliszyk Clean alpha
Tue, 30 Mar 2010 12:19:20 +0200 Cezary Kaliszyk clean fv_bn
Tue, 30 Mar 2010 11:45:41 +0200 Cezary Kaliszyk alpha_bn
Tue, 30 Mar 2010 11:32:12 +0200 Cezary Kaliszyk Change @{text} to @{term}
Tue, 30 Mar 2010 10:36:05 +0200 Cezary Kaliszyk alpha
Tue, 30 Mar 2010 09:15:40 +0200 Cezary Kaliszyk more
Tue, 30 Mar 2010 09:00:52 +0200 Cezary Kaliszyk fv and fv_bn
Tue, 30 Mar 2010 02:55:18 +0200 Christian Urban more of the paper
Mon, 29 Mar 2010 22:26:19 +0200 Christian Urban merged
Mon, 29 Mar 2010 17:14:02 +0200 Christian Urban small changes in the core-haskell spec
Mon, 29 Mar 2010 16:41:21 +0200 Christian Urban clarified core-haskell example
Mon, 29 Mar 2010 14:58:00 +0200 Christian Urban spell check
Mon, 29 Mar 2010 11:23:29 +0200 Christian Urban more on the paper
Mon, 29 Mar 2010 00:30:20 +0200 Christian Urban more on the paper
Sat, 27 Mar 2010 06:44:14 +0100 Christian Urban more on the paper
Fri, 26 Mar 2010 22:02:59 +0100 Christian Urban more on the paper
Fri, 26 Mar 2010 16:46:40 +0100 Christian Urban merged
Thu, 25 Mar 2010 07:21:41 +0100 Christian Urban more on the paper
Wed, 24 Mar 2010 19:50:42 +0100 Christian Urban more on the paper
Wed, 24 Mar 2010 12:53:39 +0100 Christian Urban some tuning; possible fix for strange paper generation
Wed, 24 Mar 2010 12:34:28 +0100 Christian Urban more on the paper
Wed, 24 Mar 2010 07:23:53 +0100 Christian Urban tuned paper
Tue, 23 Mar 2010 17:44:43 +0100 Christian Urban more of the paper
Tue, 23 Mar 2010 17:22:19 +0100 Christian Urban more tuning in the paper
Tue, 23 Mar 2010 13:07:02 +0100 Christian Urban more tuning
Tue, 23 Mar 2010 13:03:42 +0100 Christian Urban tuned paper
Tue, 23 Mar 2010 11:52:55 +0100 Christian Urban more on the paper
Tue, 23 Mar 2010 10:24:12 +0100 Christian Urban tuned paper
Tue, 23 Mar 2010 07:39:10 +0100 Christian Urban more on the paper
Mon, 22 Mar 2010 18:19:13 +0100 Christian Urban more on the paper
Mon, 22 Mar 2010 16:22:07 +0100 Christian Urban tuned paper
Mon, 22 Mar 2010 11:55:29 +0100 Christian Urban more on the paper
Mon, 22 Mar 2010 10:20:57 +0100 Christian Urban tuned paper
Sun, 21 Mar 2010 22:27:08 +0100 Christian Urban tuned paper
Fri, 19 Mar 2010 21:04:24 +0100 Christian Urban more work on the paper
Fri, 19 Mar 2010 17:20:25 +0100 Christian Urban picture
Fri, 19 Mar 2010 15:43:43 +0100 Christian Urban polished
Fri, 19 Mar 2010 12:31:17 +0100 Christian Urban more one the paper
Fri, 19 Mar 2010 09:40:34 +0100 Christian Urban more tuning on the paper
Thu, 18 Mar 2010 23:39:26 +0100 Christian Urban more tuning on the paper
Thu, 18 Mar 2010 22:06:28 +0100 Christian Urban tuned
Thu, 18 Mar 2010 19:39:01 +0100 Christian Urban another little bit for the introduction
Thu, 18 Mar 2010 18:43:03 +0100 Christian Urban more of the introduction
Thu, 18 Mar 2010 16:22:10 +0100 Christian Urban corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant
less more (0) -60 tip