Tue, 03 Apr 2012 08:55:06 +0200 | nipkow | made sure that " is shown in tutorial text | changeset | files |
Mon, 02 Apr 2012 21:26:46 +0100 | Christian Urban | merged | changeset | files |
Mon, 02 Apr 2012 21:26:07 +0100 | Christian Urban | tuned proofs | changeset | files |
Mon, 02 Apr 2012 20:12:19 +0200 | nipkow | merged | changeset | files |
Mon, 02 Apr 2012 20:12:10 +0200 | nipkow | towards showing " in the tutorial | changeset | files |
Mon, 02 Apr 2012 18:12:53 +0100 | Christian Urban | tuned proof in order to avoid warning message | changeset | files |