Tutorial/Tutorial4.thy
Fri, 21 Jan 2011 22:23:44 +0100 Christian Urban separated type preservation and progress into a separate file
Fri, 21 Jan 2011 21:58:51 +0100 Christian Urban added unbind example
Thu, 20 Jan 2011 23:19:30 +0100 Christian Urban first split of tutorrial theory
less more (0) tip