2014-10-08 added done to the proof.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:30:14 +0100] rev 27
added done to the proof.
2014-10-08 deleted temporary files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:28:19 +0100] rev 26
deleted temporary files
2014-10-07 lemma
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 18:43:29 +0100] rev 25
lemma
2014-10-07 added type information to produce the expected result with value
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Oct 2014 16:17:23 +0100] rev 24
added type information to produce the expected result with value
2014-10-07 commit
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:48:56 +0100] rev 23
commit
2014-10-07 Count
fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:33:27 +0100] rev 22
Count
2014-10-06 add
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 16:42:52 +0100] rev 21
add
2014-10-06 some small changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Oct 2014 15:24:41 +0100] rev 20
some small changes
2014-10-06 abc
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 14:22:13 +0100] rev 19
abc
2014-10-06 c
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:44:27 +0100] rev 18
c
2014-10-06 multiply 2
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 13:43:28 +0100] rev 17
multiply 2
2014-10-06 associative-commutative
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 12:00:46 +0100] rev 16
associative-commutative
2014-10-06 multiply
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:46:23 +0100] rev 15
multiply
2014-10-06 calculator
fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 11:17:46 +0100] rev 14
calculator
2014-09-25 fixed the scala implementation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Sep 2014 14:41:06 +0100] rev 13
fixed the scala implementation
2014-09-22 Delete POSIX_ALT2
fahadausaf <fahad.ausaf@icloud.com> [Mon, 22 Sep 2014 14:57:02 +0100] rev 12
Delete POSIX_ALT2
2014-09-19 changed theory name
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 14:01:01 +0100] rev 11
changed theory name
2014-09-19 added test version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 12:54:03 +0100] rev 10
added test version
2014-09-10 commit by fahad
fahadausaf <fahad.ausaf@icloud.com> [Wed, 10 Sep 2014 12:37:43 +0100] rev 9
commit by fahad
2014-09-09 started a few arguments for the ALT case
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Sep 2014 05:12:01 +0100] rev 8
started a few arguments for the ALT case
2014-09-08 cleaned up the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 21:13:36 +0100] rev 7
cleaned up the theory
2014-09-08 getting back the original version by Sulzmann
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 16:36:13 +0100] rev 6
getting back the original version by Sulzmann
2014-09-08 initial version of the theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 14:06:15 +0100] rev 5
initial version of the theory
2014-09-03 added Crashcourse paper to literature
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 03 Sep 2014 14:59:45 +0100] rev 4
added Crashcourse paper to literature
2014-08-15 added all toy implementations
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 14:10:58 +0100] rev 3
added all toy implementations
2014-08-15 deleted big pdf file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 14:01:27 +0100] rev 2
deleted big pdf file
2014-08-15 added relevant paper by Tobias Nipkow
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 13:59:34 +0100] rev 1
added relevant paper by Tobias Nipkow
2014-08-15 initial commit
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Aug 2014 13:51:42 +0100] rev 0
initial commit
(0) +120 tip