Journal/Paper.thy
Thu, 12 Jun 2014 10:14:50 +0100 Christian Urban a few additions
Mon, 09 Jun 2014 16:01:28 +0100 Christian Urban added another book that makes the error, some more proofs
Fri, 30 May 2014 07:56:39 +0100 Christian Urban finished proof of acyclity
Thu, 22 May 2014 17:40:39 +0100 Christian Urban added a bit more text to the paper and separated a theory about Max
Thu, 15 May 2014 16:02:44 +0100 Christian Urban simplified the cp_rec proof
Tue, 06 May 2014 14:36:40 +0100 Christian Urban made some modifications.
Tue, 04 Mar 2014 16:38:38 +0000 Christian Urban updated
Tue, 04 Mar 2014 15:49:36 +0000 Christian Urban cleaned up
Tue, 04 Mar 2014 15:30:24 +0000 Christian Urban updated
Tue, 04 Mar 2014 15:27:59 +0000 Christian Urban added two more references
Tue, 04 Mar 2014 09:40:40 +0000 Christian Urban some additions
Tue, 04 Mar 2014 08:45:11 +0000 Christian Urban made some small chages
Mon, 03 Mar 2014 16:22:48 +0000 Christian Urban updated
Tue, 25 Feb 2014 20:01:47 +0000 Christian Urban added
Sat, 22 Dec 2012 14:50:29 +0000 Christian Urban updated
Sat, 22 Dec 2012 01:58:45 +0000 Christian Urban added
Fri, 21 Dec 2012 23:32:58 +0000 Christian Urban added
Fri, 21 Dec 2012 18:06:00 +0000 Christian Urban more one the implementation
Fri, 21 Dec 2012 13:30:14 +0000 Christian Urban added explanation of the code
Fri, 21 Dec 2012 00:24:30 +0000 Christian Urban updated
Thu, 20 Dec 2012 14:54:06 +0000 Christian Urban added
Wed, 19 Dec 2012 23:46:36 +0000 Christian Urban added a paragraph about RAGS
Wed, 19 Dec 2012 12:51:06 +0000 Christian Urban started code explanation
Mon, 17 Dec 2012 12:34:24 +0000 Christian Urban updated
less more (0) tip