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
(0) -10 +10 +100 +300 tip