summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-07-14 18:25:48 +0000
committerGravatar tabarbe <unknown>2010-07-14 18:25:48 +0000
commit5ce119c47b1d5c046a9a39c5fbc94e87435d1d85 (patch)
treeb105cf3e50fb121e9742477d39321d1dc467212e
parente0a1a2f327fd266bab349527d8410640cb890d41 (diff)
Isabelle: No need for this file anymore.
-rw-r--r--Source/Provers/Isabelle/Tortoise kick in the pants.txt0
1 files changed, 0 insertions, 0 deletions
diff --git a/Source/Provers/Isabelle/Tortoise kick in the pants.txt b/Source/Provers/Isabelle/Tortoise kick in the pants.txt
deleted file mode 100644
index e69de29b..00000000
--- a/Source/Provers/Isabelle/Tortoise kick in the pants.txt
+++ /dev/null