src/HOL/ROOT
changeset 60119 54bea620e54f
parent 60008 dfbd51a5eab1
child 60237 d47387d4a3c6
     1.1 --- a/src/HOL/ROOT	Fri Apr 17 16:54:25 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Fri Apr 17 17:49:19 2015 +0200
     1.3 @@ -631,6 +631,15 @@
     1.4      "root.tex"
     1.5      "style.tex"
     1.6  
     1.7 +session "HOL-Eisbach" in Eisbach = HOL +
     1.8 +  description {*
     1.9 +    The Eisbach proof method language and "match" method.
    1.10 +  *}
    1.11 +  theories
    1.12 +    Eisbach
    1.13 +    Tests
    1.14 +    Examples
    1.15 +
    1.16  session "HOL-SET_Protocol" in SET_Protocol = HOL +
    1.17    description {*
    1.18      Verification of the SET Protocol.