1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/Knowledge/RootRat.thy	Wed Aug 25 16:20:07 2010 +0200
     1.3 @@ -0,0 +1,16 @@
     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