1.1 --- a/test/Tools/isac/ADDTESTS/course/CADGME/example_2.thy	Thu Jun 21 20:48:36 2012 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/CADGME/example_2.thy	Fri Aug 31 19:19:07 2012 +0200
     1.3 @@ -1,11 +1,3 @@
     1.4 -(* Title:  example_2
     1.5 -   Author: Jan Rocnik
     1.6 -   Description: The following Example can be used as an HOWTO on generating
     1.7 -                Rulesets and applying them to terms.
     1.8 -   (c) copyright due to license terms.
     1.9 -12345678901234567890123456789012345678901234567890123456789012345678901234567890
    1.10 -        10        20        30        40        50        60        70        80
    1.11 -*)
    1.12  
    1.13  theory example_2 imports Isac
    1.14  begin