2016-04-28 added files with test strings
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Apr 2016 11:17:16 +0100] rev 164
added files with test strings
2016-04-28 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 28 Apr 2016 11:13:09 +0100] rev 163
updated
2016-04-13 some small typos
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 13 Apr 2016 12:26:16 +0100] rev 162
some small typos
2016-04-09 added test cases from the haskell repository
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 09 Apr 2016 09:51:00 +0100] rev 161
added test cases from the haskell repository
2016-04-05 corrected typo and corrected proofs in Sulzmann.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Apr 2016 14:00:55 +0100] rev 160
corrected typo and corrected proofs in Sulzmann.thy
2016-04-05 updated programs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 05 Apr 2016 09:27:36 +0100] rev 159
updated programs
2016-04-01 added bit-coded version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 01 Apr 2016 16:29:33 +0100] rev 158
added bit-coded version
2016-03-31 cleaned up scala code
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 31 Mar 2016 16:50:37 +0100] rev 157
cleaned up scala code
2016-03-19 updated implementations
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Mar 2016 23:27:29 +0000] rev 156
updated implementations
2016-03-18 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Mar 2016 15:03:54 +0000] rev 155
updated
(0) -100 -10 +10 +100 +300 tip