
diff -r 5a13df748fac -r dca5594761f2 src/HOL/Nominal/Examples/Nominal_Examples.thy
--- a/src/HOL/Nominal/Examples/Nominal_Examples.thy	Fri Dec 19 23:33:08 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-(*  Author:  Christian Urban TU Muenchen *)
-
-section {* Various examples involving nominal datatypes. *}
-
-theory Nominal_Examples
-imports Nominal_Examples_Base Class3
-begin
-
-end




