--- a/src/HOLCF/IOA/ABP/Lemmas.thy Sat Sep 03 16:49:48 2005 +0200
+++ b/src/HOLCF/IOA/ABP/Lemmas.thy Sat Sep 03 16:50:22 2005 +0200
@@ -1,8 +1,10 @@
(* Title: HOLCF/IOA/ABP/Lemmas.thy
ID: $Id$
Author: Olaf Müller
-
-Arithmetic lemmas.
*)
-Lemmas = Main
+theory Lemmas
+imports Main
+begin
+
+end