Fri, 12 Sep 2014 16:42:36 +0200 | blanchet | run larger nominal examples only 'ISABELLE_FULL_TEST' | file | diff | annotate |
Mon, 07 Jun 2010 16:00:35 +0200 | wenzelm | recovered some untested theories; | file | diff | annotate |
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 |