1.1 --- a/test/Tools/isac/ADDTESTS/course/CADGME/example_3.thy	Thu Jun 21 20:48:36 2012 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/course/CADGME/example_3.thy	Fri Aug 31 19:19:07 2012 +0200
     1.3 @@ -1,11 +1,4 @@
     1.4 -(* Title:  example_3
     1.5 -   Author: Jan Rocnik
     1.6 -   Description: The following Example can be used as an HOWTO on implementing 
     1.7 -                new Functions within the ISAC-System.
     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  
    1.14  theory example_3 imports Isac
    1.15  begin