From 997915300fce0a4d8bf11cd1a3c9ea7762e11640 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Fri, 17 Oct 1997 14:45:53 +0000
Subject: Added "Induction" as tactic

---
 coq-fontlock.el | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/coq-fontlock.el b/coq-fontlock.el
index 6ac5daa6..5e9bf556 100644
--- a/coq-fontlock.el
+++ b/coq-fontlock.el
@@ -4,6 +4,9 @@
 ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk>
 
 ;; $Log$
+;; Revision 1.3  1997/10/17 14:45:53  hhg
+;; Added "Induction" as tactic
+;;
 ;; Revision 1.2  1997/10/13 17:10:29  tms
 ;; *** empty log message ***
 ;;
@@ -94,6 +97,7 @@
 "Exact"
 "Generalize"
 "Hnf"
+"Induction"
 "Injection"
 "Intro"
 "Intros"
-- 
cgit v1.2.3