diff -r 6b3be083229c -r b00a9b58264d FIXME-TODO
--- a/FIXME-TODO	Fri Dec 04 09:25:27 2009 +0100
+++ b/FIXME-TODO	Fri Dec 04 09:33:32 2009 +0100
@@ -38,4 +38,8 @@
 - use lower-case letters where appropriate in order
   to make Markus happy
 
-- add tests for adding theorems to the various thm lists
\ No newline at end of file
+- add tests for adding theorems to the various thm lists
+
+
+
+- Integrate RSP/PRS lemmas in QuotList with the ones from IntEx etc.