1.1 --- a/Admin/mira.py	Wed Jul 06 13:57:52 2011 +0200
     1.2 +++ b/Admin/mira.py	Wed Jul 06 17:56:58 2011 +0200
     1.3 @@ -224,11 +224,6 @@
     1.4        {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result)
     1.5  
     1.6  @configuration(repos = [Isabelle], deps = [(Pure, [0])])
     1.7 -def FOL(*args):
     1.8 -    """FOL image"""
     1.9 -    return build_isabelle_image('FOL', 'Pure', 'FOL', *args)
    1.10 -
    1.11 -@configuration(repos = [Isabelle], deps = [(Pure, [0])])
    1.12  def HOL(*args):
    1.13      """HOL image"""
    1.14      return build_isabelle_image('HOL', 'Pure', 'HOL', *args)