Wed, 24 Nov 2010 02:36:21 +0000 | Christian Urban | added example from the F-ing paper by Rossberg, Russo and Dreyer | changeset | files |
Wed, 24 Nov 2010 01:08:48 +0000 | Christian Urban | implemented concrete suggestion of 3rd reviewer | changeset | files |
Fri, 26 Nov 2010 12:17:24 +0900 | Cezary Kaliszyk | missing freshness assumptions | changeset | files |