Sat, 30 Jan 2016 13:12:36 +0000 | Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done) | changeset | files |
Thu, 21 Jan 2016 12:47:20 +0000 | Christian Urban |
added theory for star | changeset | files |
Thu, 14 Jan 2016 17:19:40 +0000 | Christian Urban |
updated | changeset | files |