TODO

--- a/TODO	Mon Apr 25 17:58:41 2005 +0200
+++ b/TODO	Mon Apr 25 18:29:40 2005 +0200
@@ -33,4 +33,7 @@
   See http://afp.sourceforge.net/browser_info/current/HOL/HOL-Complex/Integration/SetsumThms.html
   (Markus?)
 
+- Allow sorts in typedef:  typedef ('a::mysort)t = ...
+  (low priority)
+
 - remove this file (Tobias)