src/HOL/MicroJava/DFA/Semilattices.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/MicroJava/DFA/Semilattices.thy	Tue Nov 24 14:37:23 2009 +0100
@@ -0,0 +1,14 @@
+(*  Title:      HOL/MicroJava/BV/Semilat.thy
+    Author:     Gerwin Klein
+    Copyright   2003 TUM
+*)
+
+header {* Semilattices *}
+
+(*<*)
+theory Semilattices
+imports Err Opt Product Listn
+begin
+
+end
+(*>*)
\ No newline at end of file