diff options
Diffstat (limited to 'etc/isar/Sendback.thy')
-rw-r--r-- | etc/isar/Sendback.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isar/Sendback.thy b/etc/isar/Sendback.thy index 8bfe8492..c77e90ba 100644 --- a/etc/isar/Sendback.thy +++ b/etc/isar/Sendback.thy @@ -20,4 +20,4 @@ proof ML_command {* sendback "show ?thesis .. qed" *} ML_command {* sendback "qed" *} qed -qed + |