From 2325ae3aaf3e0194b83c6708af3644e49d7fedf3 Mon Sep 17 00:00:00 2001 From: tabarbe Date: Wed, 14 Jul 2010 18:16:25 +0000 Subject: Boogie: As the filename suggests, I am trying to give Tortoise a kick in the pants here. --- Source/Provers/Isabelle/Tortoise kick in the pants.txt | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Source/Provers/Isabelle/Tortoise kick in the pants.txt (limited to 'Source') diff --git a/Source/Provers/Isabelle/Tortoise kick in the pants.txt b/Source/Provers/Isabelle/Tortoise kick in the pants.txt new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3