src/HOL/ex/svc_test.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2011-01-16 wenzelm 2011-01-16 tuned headers;
2006-10-01 wenzelm 2006-10-01 tuned;
2005-09-15 wenzelm 2005-09-15 fixed type;
2005-09-14 wenzelm 2005-09-14 tuned headers etc.;
2002-02-11 wenzelm 2002-02-11 include SVC_Test;
1999-08-06 paulson 1999-08-06 new theory ex/svc_test.thy