Sat, 25 Sep 2010 08:28:45 -0400 | Christian Urban | cleaned up two examples | changeset | files |
Sat, 25 Sep 2010 02:53:39 +0200 | Christian Urban | added example about datatypes | changeset | files |
Thu, 23 Sep 2010 05:28:40 +0200 | Christian Urban | updated to Isabelle 22 Sept | changeset | files |
Wed, 22 Sep 2010 23:17:25 +0200 | Christian Urban | removed dead code | changeset | files |