Admin/mira.py
changeset 43688 08ccba00eb34
parent 43334 9970a4580d13
child 43689 b8d79bd6029e
--- a/Admin/mira.py	Wed Jul 06 13:57:52 2011 +0200
+++ b/Admin/mira.py	Wed Jul 06 17:56:58 2011 +0200
@@ -224,11 +224,6 @@
       {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
 
 @configuration(repos = [Isabelle], deps = [(Pure, [0])])
-def FOL(*args):
-    """FOL image"""
-    return build_isabelle_image('FOL', 'Pure', 'FOL', *args)
-
-@configuration(repos = [Isabelle], deps = [(Pure, [0])])
 def HOL(*args):
     """HOL image"""
     return build_isabelle_image('HOL', 'Pure', 'HOL', *args)