Cross Reference: /seL4-l4v-master/isabelle/src/Tools/Metis/Makefile

50   src/Useful.sig src/Useful.sml \
51   src/Lazy.sig src/Lazy.sml \
52   src/Ordered.sig src/Ordered.sml \
53   src/Map.sig src/Map.sml \
54   src/KeyMap.sig src/KeyMap.sml \
55   src/Set.sig src/Set.sml \
56   src/ElementSet.sig src/ElementSet.sml \
57   src/Sharing.sig src/Sharing.sml \
58   src/Stream.sig src/Stream.sml \
59   src/Heap.sig src/Heap.sml \
60   src/Print.sig src/Print.sml \
61   src/Parse.sig src/Parse.sml \
62   src/Name.sig src/Name.sml \
63   src/NameArity.sig src/NameArity.sml \
64   src/Term.sig src/Term.sml \
65   src/Subst.sig src/Subst.sml \
66   src/Atom.sig src/Atom.sml \
67   src/Formula.sig src/Formula.sml \
68   src/Literal.sig src/Literal.sml \
69   src/Thm.sig src/Thm.sml \
70   src/Proof.sig src/Proof.sml \
71   src/Rule.sig src/Rule.sml \
72   src/Normalize.sig src/Normalize.sml \
73   src/Model.sig src/Model.sml \
74   src/Problem.sig src/Problem.sml \
75   src/TermNet.sig src/TermNet.sml \
76   src/AtomNet.sig src/AtomNet.sml \
77   src/LiteralNet.sig src/LiteralNet.sml \
78   src/Subsume.sig src/Subsume.sml \
79   src/KnuthBendixOrder.sig src/KnuthBendixOrder.sml \
80   src/Rewrite.sig src/Rewrite.sml \
81   src/Units.sig src/Units.sml \
82   src/Clause.sig src/Clause.sml \
83   src/Active.sig src/Active.sml \
84   src/Waiting.sig src/Waiting.sml \
85   src/Resolution.sig src/Resolution.sml \
86   src/Tptp.sig src/Tptp.sml \
87   src/Options.sig src/Options.sml
90   src/problems.sml
107   src/Portable.sig src/PortableMosml.sml \
114 include bin/mosml/Makefile.src
136   src/Portable.sig src/PortableMlton.sml \
148 bin/mlton/%.sml: $(MLTON_SRC) src/%.sml
191   src/Random.sig src/Random.sml \
192   src/Portable.sig src/PortablePolyml.sml \
200 bin/polyml/%.sml: src/%.sml $(POLYML_SRC)