Wed, 18 May 2016 15:57:46 +0100 | Christian Urban |
updated | file | diff | annotate |
Tue, 17 May 2016 14:28:22 +0100 | Christian Urban |
Roy's comments | file | diff | annotate |
Tue, 17 May 2016 11:16:56 +0100 | Christian Urban |
less squeezing | file | diff | annotate |
Tue, 17 May 2016 10:53:34 +0100 | Christian Urban |
updated | file | diff | annotate |
Tue, 17 May 2016 05:14:41 +0100 | Christian Urban |
squeezed on 16 pages | file | diff | annotate |
Tue, 17 May 2016 03:47:33 +0100 | Christian Urban |
isarfied the simplify theory | file | diff | annotate |
Mon, 16 May 2016 15:20:23 +0100 | Christian Urban |
improved simplifying theory | file | diff | annotate |