Fri, 30 May 2014 07:56:39 +0100 Christian Urban finished proof of acyclity
Sat, 24 May 2014 12:39:12 +0100 Christian Urban simplified RAG_acyclic proof
Fri, 23 May 2014 15:19:32 +0100 Christian Urban added a test theory for polishing teh proofs
Thu, 22 May 2014 17:40:39 +0100 Christian Urban added a bit more text to the paper and separated a theory about Max
Tue, 20 May 2014 12:49:21 +0100 Christian Urban updated ROOT file
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.
(0) -30 -10 -7 +7 +10 +30 +100 tip