1.1 --- a/src/Tools/isac/IsacKnowledge/RootRat.thy	Wed Aug 25 15:15:01 2010 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,16 +0,0 @@
     1.4 -(*.(c) by Richard Lang, 2003 .*)
     1.5 -(* collecting all knowledge for Root and Rational
     1.6 -   created by: rlang 
     1.7 -         date: 02.10
     1.8 -   changed by: rlang
     1.9 -   last change by: rlang
    1.10 -             date: 02.10.20
    1.11 -*)
    1.12 -
    1.13 -RootRat = Root + Rational +
    1.14 -(*-------------------- consts------------------------------------------------*)
    1.15 -
    1.16 -
    1.17 -(*-------------------- rules------------------------------------------------*)
    1.18 -
    1.19 -end