Journal/Paper.thy
Thu, 02 Jun 2016 13:15:03 +0100 Christian Urban updated
Fri, 15 Apr 2016 14:44:09 +0100 Christian Urban updated journal paper
Thu, 28 Jan 2016 14:26:10 +0000 Christian Urban changes to my repository
Wed, 27 Jan 2016 13:47:08 +0000 Christian Urban some small changes to Correctness and Paper
Fri, 15 Jan 2016 02:05:29 +0000 Christian Urban some small changes to the paper
Thu, 14 Jan 2016 03:29:22 +0000 Christian Urban updated paper
Wed, 13 Jan 2016 14:20:58 +0000 Christian Urban further simplificaton of Moment.thy
less more (0) -30 -10 -7 tip