diff -r 62f0344b219c -r 9c3b3eaecaff FIXME-TODO
--- a/FIXME-TODO	Wed Jan 27 08:20:31 2010 +0100
+++ b/FIXME-TODO	Wed Jan 27 08:41:42 2010 +0100
@@ -1,6 +1,10 @@
 Highest Priority
 ================
 
+- give examples for the new quantifier translations in regularization
+  (quotient_term.ML)
+
+
 Higher Priority
 ===============