Admin/mira.py

     (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', 'Pure')
 
     result = path.join(isabelle_home, 'heaps')
     return (return_code == 0, extract_isabelle_run_summary(log),
       {'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)