1.1 --- a/src/Tools/isac/Knowledge/DiffApp.thy	Mon Sep 06 15:53:18 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp.thy	Mon Sep 06 16:56:22 2010 +0200
     1.3 @@ -28,7 +28,7 @@
     1.4  (*for script Maximum_value*)
     1.5    filterVar :: "[real, 'a list] => 'a list"
     1.6  
     1.7 -(*primrec*)rules
     1.8 +(*primrec*)axioms
     1.9    filterVar_Nil		"filterVar v []     = []"
    1.10    filterVar_Const	"filterVar v (x#xs) =                       
    1.11  			 (if (v mem (Vars x)) then x#(filterVar v xs)