Tue, 24 Apr 2012 10:44:04 +0200 | nipkow | the perennial doc problem of how to define lists a second time | file | diff | annotate |
Tue, 24 Apr 2012 09:09:55 +0200 | nipkow | doc update | file | diff | annotate |
Tue, 03 Apr 2012 08:55:06 +0200 | nipkow | made sure that " is shown in tutorial text | file | diff | annotate |
Mon, 02 Apr 2012 20:12:10 +0200 | nipkow | towards showing " in the tutorial | file | diff | annotate |
Mon, 02 Apr 2012 10:49:03 +0200 | nipkow | New manual Programming and Proving in Isabelle/HOL | file | diff | annotate |