equal
deleted
inserted
replaced
21 |
21 |
22 BIN = $(ISABELLEBIN) |
22 BIN = $(ISABELLEBIN) |
23 COMP = $(ISABELLECOMP) |
23 COMP = $(ISABELLECOMP) |
24 FILES = POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\ |
24 FILES = POLY.ML NJ.ML ROOT.ML library.ML term.ML symtab.ML type.ML sign.ML\ |
25 sequence.ML envir.ML pattern.ML unify.ML logic.ML theory.ML thm.ML\ |
25 sequence.ML envir.ML pattern.ML unify.ML logic.ML theory.ML thm.ML\ |
26 net.ML drule.ML tctical.ML tactic.ML goals.ML axclass.ML install_pp.ML\ |
26 net.ML drule.ML tctical.ML search.ML tactic.ML\ |
|
27 goals.ML axclass.ML install_pp.ML\ |
27 NJ093.ML NJ1xx.ML ../Provers/simplifier.ML |
28 NJ093.ML NJ1xx.ML ../Provers/simplifier.ML |
28 |
29 |
29 SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML\ |
30 SYNTAX_FILES = Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML\ |
30 Syntax/parser.ML Syntax/type_ext.ML Syntax/syn_trans.ML\ |
31 Syntax/parser.ML Syntax/type_ext.ML Syntax/syn_trans.ML\ |
31 Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\ |
32 Syntax/pretty.ML Syntax/printer.ML Syntax/syntax.ML\ |