Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -120 +120 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 17 Jun 2010 07:37:26 +0200 forgot to save
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:37:26 +0200] rev 2281
forgot to save
Thu, 17 Jun 2010 07:34:29 +0200 Fix regularization. Two "FIXME" left in introduction. Minor spellings.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:34:29 +0200] rev 2280
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
Thu, 17 Jun 2010 00:27:57 +0100 polished everything and submitted
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 17 Jun 2010 00:27:57 +0100] rev 2279
polished everything and submitted
Wed, 16 Jun 2010 22:29:42 +0100 conclusion done
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 22:29:42 +0100] rev 2278
conclusion done
Wed, 16 Jun 2010 14:26:23 +0200 Answer questions in comments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 16 Jun 2010 14:26:23 +0200] rev 2277
Answer questions in comments
Wed, 16 Jun 2010 03:47:38 +0100 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:47:38 +0100] rev 2276
tuned
Wed, 16 Jun 2010 03:44:10 +0100 finished section 4, but put some things I do not understand on comment
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:44:10 +0100] rev 2275
finished section 4, but put some things I do not understand on comment
Wed, 16 Jun 2010 02:55:52 +0100 4 almost finished
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 02:55:52 +0100] rev 2274
4 almost finished
Tue, 15 Jun 2010 22:25:03 +0200 cleaned up definitions
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 22:25:03 +0200] rev 2273
cleaned up definitions
Tue, 15 Jun 2010 12:00:03 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 12:00:03 +0200] rev 2272
merge
Tue, 15 Jun 2010 11:59:16 +0200 qpaper/Rewrite section5
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 11:59:16 +0200] rev 2271
qpaper/Rewrite section5
Tue, 15 Jun 2010 09:44:16 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 09:44:16 +0200] rev 2270
merged
Tue, 15 Jun 2010 08:56:13 +0200 tuned everytinh up to section 4
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 08:56:13 +0200] rev 2269
tuned everytinh up to section 4
Tue, 15 Jun 2010 10:08:12 +0200 Definition of Respects.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 10:08:12 +0200] rev 2268
Definition of Respects.
Tue, 15 Jun 2010 09:22:38 +0200 conclusion
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:22:38 +0200] rev 2267
conclusion
Tue, 15 Jun 2010 09:12:54 +0200 Qpaper / Clarify the typing system and composition of quotients issue.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:12:54 +0200] rev 2266
Qpaper / Clarify the typing system and composition of quotients issue.
Tue, 15 Jun 2010 07:58:33 +0200 Remove only reference to 'equivp'.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:58:33 +0200] rev 2265
Remove only reference to 'equivp'.
Tue, 15 Jun 2010 07:54:30 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:54:30 +0200] rev 2264
merge
Tue, 15 Jun 2010 07:52:42 +0200 qpaper/ackno
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:52:42 +0200] rev 2263
qpaper/ackno
Tue, 15 Jun 2010 06:50:33 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 06:50:33 +0200] rev 2262
tuned
Tue, 15 Jun 2010 06:35:57 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 06:35:57 +0200] rev 2261
qpaper
Tue, 15 Jun 2010 05:43:21 +0200 qpaper / hol4
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:43:21 +0200] rev 2260
qpaper / hol4
Tue, 15 Jun 2010 05:32:50 +0200 qpaper/related work
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:32:50 +0200] rev 2259
qpaper/related work
Tue, 15 Jun 2010 02:03:18 +0200 finished preliminary section
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 02:03:18 +0200] rev 2258
finished preliminary section
Mon, 14 Jun 2010 19:03:34 +0200 typo
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 19:03:34 +0200] rev 2257
typo
Mon, 14 Jun 2010 19:02:25 +0200 some slight tuning of the preliminary section
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 19:02:25 +0200] rev 2256
some slight tuning of the preliminary section
Mon, 14 Jun 2010 16:45:29 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 16:45:29 +0200] rev 2255
merge
Mon, 14 Jun 2010 16:44:53 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 16:44:53 +0200] rev 2254
qpaper
Mon, 14 Jun 2010 14:28:32 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 14:28:32 +0200] rev 2253
merged
Mon, 14 Jun 2010 14:28:12 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 14:28:12 +0200] rev 2252
tuned
Mon, 14 Jun 2010 15:16:42 +0200 Qpaper / beginnig of sec5
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 15:16:42 +0200] rev 2251
Qpaper / beginnig of sec5
Mon, 14 Jun 2010 14:45:40 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 14:45:40 +0200] rev 2250
merge
Mon, 14 Jun 2010 14:44:18 +0200 qpaper/unfold the ball_reg_right statement
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 14:44:18 +0200] rev 2249
qpaper/unfold the ball_reg_right statement
Mon, 14 Jun 2010 12:30:08 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 12:30:08 +0200] rev 2248
merged
Mon, 14 Jun 2010 11:51:34 +0200 some tuning and start work on section 4
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 11:51:34 +0200] rev 2247
some tuning and start work on section 4
Mon, 14 Jun 2010 13:24:22 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 13:24:22 +0200] rev 2246
qpaper
Mon, 14 Jun 2010 12:07:55 +0200 qpaper / INJ
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 12:07:55 +0200] rev 2245
qpaper / INJ
Mon, 14 Jun 2010 11:42:07 +0200 qpaper / REG
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 11:42:07 +0200] rev 2244
qpaper / REG
Mon, 14 Jun 2010 10:14:39 +0200 qpaper / minor
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 10:14:39 +0200] rev 2243
qpaper / minor
Mon, 14 Jun 2010 09:28:52 +0200 qpaper/various
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 09:28:52 +0200] rev 2242
qpaper/various
Mon, 14 Jun 2010 09:16:22 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 09:16:22 +0200] rev 2241
qpaper
Mon, 14 Jun 2010 08:25:03 +0200 qpaper/more on example
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 08:25:03 +0200] rev 2240
qpaper/more on example
Mon, 14 Jun 2010 07:55:02 +0200 qpaper/examples
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 14 Jun 2010 07:55:02 +0200] rev 2239
qpaper/examples
Mon, 14 Jun 2010 04:38:25 +0200 completed proof and started section about respectfulness and preservation
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 04:38:25 +0200] rev 2238
completed proof and started section about respectfulness and preservation
Sun, 13 Jun 2010 20:54:50 +0200 more on the qpaper
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 20:54:50 +0200] rev 2237
more on the qpaper
Sun, 13 Jun 2010 17:41:07 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 17:41:07 +0200] rev 2236
tuned
Sun, 13 Jun 2010 17:40:32 +0200 more on the constant lifting section
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 17:40:32 +0200] rev 2235
more on the constant lifting section
Sun, 13 Jun 2010 17:01:15 +0200 something about the quotient ype definitions
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 17:01:15 +0200] rev 2234
something about the quotient ype definitions
Sun, 13 Jun 2010 14:39:55 +0200 added some examples
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 14:39:55 +0200] rev 2233
added some examples
Sun, 13 Jun 2010 13:42:37 +0200 improved definition of ABS and REP
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 13:42:37 +0200] rev 2232
improved definition of ABS and REP
Sun, 13 Jun 2010 07:14:53 +0200 qpaper.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 13 Jun 2010 07:14:53 +0200] rev 2231
qpaper.
Sun, 13 Jun 2010 06:50:34 +0200 some spelling
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 13 Jun 2010 06:50:34 +0200] rev 2230
some spelling
Sun, 13 Jun 2010 06:45:20 +0200 minor
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 13 Jun 2010 06:45:20 +0200] rev 2229
minor
Sun, 13 Jun 2010 06:34:22 +0200 qpaper / tuning in preservation and general display
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 13 Jun 2010 06:34:22 +0200] rev 2228
qpaper / tuning in preservation and general display
Sun, 13 Jun 2010 04:06:06 +0200 polishing of ABS/REP
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 13 Jun 2010 04:06:06 +0200] rev 2227
polishing of ABS/REP
Sat, 12 Jun 2010 11:32:36 +0200 some slight tuning of the intro
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 12 Jun 2010 11:32:36 +0200] rev 2226
some slight tuning of the intro
Sat, 12 Jun 2010 06:35:27 +0200 Fix integer relation.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 12 Jun 2010 06:35:27 +0200] rev 2225
Fix integer relation.
Sat, 12 Jun 2010 02:36:49 +0200 completed the intro (except minor things)
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 12 Jun 2010 02:36:49 +0200] rev 2224
completed the intro (except minor things)
Fri, 11 Jun 2010 21:58:25 +0200 more intro
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 11 Jun 2010 21:58:25 +0200] rev 2223
more intro
Fri, 11 Jun 2010 17:52:06 +0200 more on the qpaper
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 11 Jun 2010 17:52:06 +0200] rev 2222
more on the qpaper
Fri, 11 Jun 2010 16:36:02 +0200 even more on the qpaper (intro almost done)
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 11 Jun 2010 16:36:02 +0200] rev 2221
even more on the qpaper (intro almost done)
Fri, 11 Jun 2010 14:04:58 +0200 more to the introduction of the qpaper
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 11 Jun 2010 14:04:58 +0200] rev 2220
more to the introduction of the qpaper
Thu, 10 Jun 2010 13:37:32 +0200 adapted to the official sigplan style file (this gives us more space)
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jun 2010 13:37:32 +0200] rev 2219
adapted to the official sigplan style file (this gives us more space)
Thu, 10 Jun 2010 13:28:38 +0200 added to the popl-paper a pointer to work by Altenkirch
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jun 2010 13:28:38 +0200] rev 2218
added to the popl-paper a pointer to work by Altenkirch
Thu, 10 Jun 2010 10:53:51 +0200 more on the qpaper
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 10 Jun 2010 10:53:51 +0200] rev 2217
more on the qpaper
Mon, 07 Jun 2010 16:17:35 +0200 new title for POPL paper
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Jun 2010 16:17:35 +0200] rev 2216
new title for POPL paper
Mon, 07 Jun 2010 15:57:03 +0200 more work on intro and abstract (done for today)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Jun 2010 15:57:03 +0200] rev 2215
more work on intro and abstract (done for today)
Mon, 07 Jun 2010 15:13:39 +0200 a bit more in the introduction and abstract
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Jun 2010 15:13:39 +0200] rev 2214
a bit more in the introduction and abstract
Mon, 07 Jun 2010 11:33:00 +0200 improved abstract, some tuning
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 07 Jun 2010 11:33:00 +0200] rev 2213
improved abstract, some tuning
Sun, 06 Jun 2010 13:16:27 +0200 Qpaper / minor on cleaning
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 06 Jun 2010 13:16:27 +0200] rev 2212
Qpaper / minor on cleaning
Sat, 05 Jun 2010 14:37:05 +0200 qpaper / injection proof.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 14:37:05 +0200] rev 2211
qpaper / injection proof.
Sat, 05 Jun 2010 10:03:42 +0200 qpaper / example interaction
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 10:03:42 +0200] rev 2210
qpaper / example interaction
Sat, 05 Jun 2010 08:02:39 +0200 Qpaper/regularization proof.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 08:02:39 +0200] rev 2209
Qpaper/regularization proof.
Sat, 05 Jun 2010 07:26:22 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 05 Jun 2010 07:26:22 +0200] rev 2208
qpaper
Wed, 02 Jun 2010 14:24:16 +0200 Qpaper/more.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Jun 2010 14:24:16 +0200] rev 2207
Qpaper/more.
Wed, 02 Jun 2010 13:58:37 +0200 Qpaper/Minor
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Jun 2010 13:58:37 +0200] rev 2206
Qpaper/Minor
Tue, 01 Jun 2010 15:58:59 +0200 added larry's quote
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:58:59 +0200] rev 2205
added larry's quote
Tue, 01 Jun 2010 15:48:25 +0200 added larry's paper
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:48:25 +0200] rev 2204
added larry's paper
Tue, 01 Jun 2010 15:45:43 +0200 tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:45:43 +0200] rev 2203
tuned
Sat, 29 May 2010 00:16:39 +0200 first version of the abstract
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 29 May 2010 00:16:39 +0200] rev 2202
first version of the abstract
Thu, 27 May 2010 18:30:42 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:42 +0200] rev 2201
merged
Thu, 27 May 2010 18:30:26 +0200 fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:26 +0200] rev 2200
fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
Thu, 27 May 2010 16:53:12 +0200 qpaper / lemmas used in proofs
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:53:12 +0200] rev 2199
qpaper / lemmas used in proofs
Thu, 27 May 2010 16:33:10 +0200 qpaper / injection statement
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:33:10 +0200] rev 2198
qpaper / injection statement
Thu, 27 May 2010 16:06:43 +0200 qpaper / regularize
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:06:43 +0200] rev 2197
qpaper / regularize
Thu, 27 May 2010 14:30:07 +0200 qpaper / a bit about prs
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 14:30:07 +0200] rev 2196
qpaper / a bit about prs
Thu, 27 May 2010 11:21:37 +0200 Functionalized the ABS/REP definition.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 11:21:37 +0200] rev 2195
Functionalized the ABS/REP definition.
Wed, 26 May 2010 17:55:42 +0200 qpaper / lifting introduction
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:55:42 +0200] rev 2194
qpaper / lifting introduction
Wed, 26 May 2010 17:20:59 +0200 merged
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:20:59 +0200] rev 2193
merged
Wed, 26 May 2010 17:19:16 +0200 fixed compile error
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 17:19:16 +0200] rev 2192
fixed compile error
Wed, 26 May 2010 17:10:05 +0200 qpaper / composition of quotients.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:10:05 +0200] rev 2191
qpaper / composition of quotients.
Wed, 26 May 2010 16:56:38 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:56:38 +0200] rev 2190
qpaper
Wed, 26 May 2010 16:28:35 +0200 qpaper..
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:28:35 +0200] rev 2189
qpaper..
Wed, 26 May 2010 16:17:49 +0200 qpaper.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:17:49 +0200] rev 2188
qpaper.
Wed, 26 May 2010 16:09:09 +0200 Name some respectfullness
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 16:09:09 +0200] rev 2187
Name some respectfullness
Wed, 26 May 2010 15:35:34 +0200 added FSet to the correct paper
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:35:34 +0200] rev 2186
added FSet to the correct paper
Wed, 26 May 2010 15:26:22 +0200 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:22 +0200] rev 2185
merged
Wed, 26 May 2010 15:26:00 +0200 added FSet
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 26 May 2010 15:26:00 +0200] rev 2184
added FSet
Wed, 26 May 2010 15:24:33 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 15:24:33 +0200] rev 2183
qpaper
Wed, 26 May 2010 12:11:58 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 12:11:58 +0200] rev 2182
qpaper
Tue, 25 May 2010 18:38:52 +0200 Substitution Lemma for TypeSchemes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 18:38:52 +0200] rev 2181
Substitution Lemma for TypeSchemes.
Tue, 25 May 2010 17:29:05 +0200 Simplified the proof
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:29:05 +0200] rev 2180
Simplified the proof
Tue, 25 May 2010 17:09:29 +0200 A lemma about substitution in TypeSchemes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:09:29 +0200] rev 2179
A lemma about substitution in TypeSchemes.
Tue, 25 May 2010 17:01:37 +0200 reversing the direction of fresh_star
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 17:01:37 +0200] rev 2178
reversing the direction of fresh_star
Tue, 25 May 2010 10:43:19 +0200 overlapping deep binders proof
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 May 2010 10:43:19 +0200] rev 2177
overlapping deep binders proof
Tue, 25 May 2010 07:59:16 +0200 edits from the reviewers
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 25 May 2010 07:59:16 +0200] rev 2176
edits from the reviewers
Mon, 24 May 2010 22:47:06 +0100 tuned paper
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 24 May 2010 22:47:06 +0100] rev 2175
tuned paper
Sun, 23 May 2010 16:45:00 +0100 changed qpaper to lncs-style
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 23 May 2010 16:45:00 +0100] rev 2174
changed qpaper to lncs-style
Fri, 21 May 2010 17:17:51 +0200 Match_Lam defined on Quotient Level.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 17:17:51 +0200] rev 2173
Match_Lam defined on Quotient Level.
Fri, 21 May 2010 11:55:22 +0200 More on Function-defined subst.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 11:55:22 +0200] rev 2172
More on Function-defined subst.
Fri, 21 May 2010 11:46:47 +0200 Isabelle renamings
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 11:46:47 +0200] rev 2171
Isabelle renamings
Fri, 21 May 2010 10:47:45 +0200 merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:47:45 +0200] rev 2170
merge
Fri, 21 May 2010 10:43:14 +0200 Renamings.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:43:14 +0200] rev 2169
Renamings.
Fri, 21 May 2010 10:42:53 +0200 Renamings
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:42:53 +0200] rev 2168
Renamings
Fri, 21 May 2010 10:47:07 +0200 merge (non-trival)
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:47:07 +0200] rev 2167
merge (non-trival)
Fri, 21 May 2010 10:45:29 +0200 Previously uncommited direct subst definition changes.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:45:29 +0200] rev 2166
Previously uncommited direct subst definition changes.
Fri, 21 May 2010 10:44:07 +0200 Function experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 May 2010 10:44:07 +0200] rev 2165
Function experiments
Wed, 19 May 2010 12:44:03 +0100 merged
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 19 May 2010 12:44:03 +0100] rev 2164
merged
Wed, 19 May 2010 12:43:38 +0100 added comments about pottiers work
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 19 May 2010 12:43:38 +0100] rev 2163
added comments about pottiers work
Wed, 19 May 2010 12:29:08 +0200 more subst experiments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 19 May 2010 12:29:08 +0200] rev 2162
more subst experiments
(0) -1000 -120 +120 tip
nominal2