src/HOL/ROOT

--- a/src/HOL/ROOT	Fri Apr 17 16:54:25 2015 +0200
+++ b/src/HOL/ROOT	Fri Apr 17 17:49:19 2015 +0200
@@ -631,6 +631,15 @@
     "root.tex"
     "style.tex"
 
+session "HOL-Eisbach" in Eisbach = HOL +
+  description {*
+    The Eisbach proof method language and "match" method.
+  *}
+  theories
+    Eisbach
+    Tests
+    Examples
+
 session "HOL-SET_Protocol" in SET_Protocol = HOL +
   description {*
     Verification of the SET Protocol.