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