--- trunk2/import_xml/isis_hidra_ths.xml 2004/10/31 19:28:09 567 +++ trunk2/import_xml/isis_hidra_ths.xml 2004/10/31 19:28:50 568 @@ -95,13 +95,11 @@ --> [v561^4] v561^1;;v561^a - filter{CROVOC}v800 [v562^4] v562^1;;v562^a - filter{CROVOC}v800