src/HOL/ex/svc_test.thy
Sun, 16 Jan 2011 15:53:03 +0100 wenzelm tuned headers;
Sun, 01 Oct 2006 18:29:23 +0200 wenzelm tuned;
Thu, 15 Sep 2005 17:17:04 +0200 wenzelm fixed type;
Wed, 14 Sep 2005 22:08:08 +0200 wenzelm tuned headers etc.;
Mon, 11 Feb 2002 10:56:33 +0100 wenzelm include SVC_Test;
Fri, 06 Aug 1999 11:05:20 +0200 paulson new theory ex/svc_test.thy
less more (0) tip