nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 01 Jun 2010 15:45:43 +0200] rev 2203

tuned

Christian Urban <urbanc@in.tum.de> [Sat, 29 May 2010 00:16:39 +0200] rev 2202

first version of the abstract

Christian Urban <urbanc@in.tum.de> [Thu, 27 May 2010 18:30:42 +0200] rev 2201

merged

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

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:53:12 +0200] rev 2199

qpaper / lemmas used in proofs

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:33:10 +0200] rev 2198

qpaper / injection statement

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 16:06:43 +0200] rev 2197

qpaper / regularize

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 14:30:07 +0200] rev 2196

qpaper / a bit about prs

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 27 May 2010 11:21:37 +0200] rev 2195

Functionalized the ABS/REP definition.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 26 May 2010 17:55:42 +0200] rev 2194

qpaper / lifting introduction

nominal2