Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 47942 49b05b9ead33
parent 47792 804fdf0f6006
child 48028 a5377f6d9f14 
--- a/src/HOL/IsaMakefile	Fri May 18 15:08:08 2012 +0200
+++ b/src/HOL/IsaMakefile	Fri May 18 16:43:38 2012 +0200
@@ -1334,6 +1334,7 @@
   Mirabelle/Tools/mirabelle_refute.ML	\
   Mirabelle/Tools/mirabelle_sledgehammer.ML \
   Mirabelle/Tools/mirabelle_sledgehammer_filter.ML \
+  Mirabelle/Tools/mirabelle_try0.ML \
   TPTP/sledgehammer_tactics.ML Mirabelle/lib/Tools/mirabelle \
   Mirabelle/lib/scripts/mirabelle.pl Library/FrechetDeriv.thy \
   Library/Inner_Product.thy
isabelle