--- a/Admin/isatest/annomaly.ML Fri Jun 12 20:20:41 2009 +0200 +++ b/Admin/isatest/annomaly.ML Fri Jun 12 20:26:34 2009 +0200 @@ -1,5 +1,4 @@ (* Title: Admin/isatest/annomaly.ML - ID: $Id$ Author: Martin von Gagern <martin@von-gagern.net> *)