Thu, 22 Apr 2010 22:01:06 +0200 | wenzelm | split Class.thy into parts to conserve a bit of memory and increase the chance of making it work on Cygwin with only 2 GB available; | file | diff | annotate |
Mon, 26 Oct 2009 14:53:33 +0100 | berghofe | Added Pattern.thy to Nominal/Examples. | file | diff | annotate |
Mon, 21 Sep 2009 16:01:30 +0200 | haftmann | added session theory for Nominal_Examples | file | diff | annotate | base |