thys/Test.txt
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Sat, 31 Jan 2015 18:21:03 +0000
changeset 60 2cdbab037861
parent 9 9e4b64c51fa1
child 61 26b71a36f55f
child 65 b31b224fa0e6
permissions -rw-r--r--
added a preliminary part describing the main theorem

test