Wed, 26 Jun 2013 14:35:43 +0100 | Christian Urban |
implemented new UF in scala; made some small adjustments to the definitions in the theory | changeset | files |
Thu, 06 Jun 2013 17:27:45 +0100 | Christian Urban |
added theorey by Jian | changeset | files |
Sat, 25 May 2013 17:14:52 +0100 | Christian Urban |
more cleaning | changeset | files |