Permalink
Browse files

Added snippets for Coq

  • Loading branch information...
1 parent 76f2b71 commit 94aa6f64c7857d7c48bbc11018f7a79fd58c807e John Wiegley committed Dec 1, 2012
Showing with 10 additions and 0 deletions.
  1. +5 −0 snippets/coq-mode/ind
  2. +5 −0 snippets/coq-mode/sind
View
@@ -0,0 +1,5 @@
+induction $1 as [| $1'].
+ Case "$1 = 0".
+ reflexivity.
+ Case "$1 = S $1'".
+ $0
View
@@ -0,0 +1,5 @@
+induction $1 as [| $1'].
+ SCase "$1 = 0".
+ reflexivity.
+ SCase "$1 = S $1'".
+ $0

0 comments on commit 94aa6f6

Please sign in to comment.