diff -r 1a4eb39ba834 -r 3f657c4fbefa FIXME-TODO
--- a/FIXME-TODO	Fri Dec 04 12:21:15 2009 +0100
+++ b/FIXME-TODO	Fri Dec 04 14:11:03 2009 +0100
@@ -18,7 +18,7 @@
 
 - Handle theorems that include Ball/Bex
 
-
+- Test theorems with abstractions