Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authornipkow
Mon, 25 Apr 2005 18:29:40 +0200
changeset 15838 2aee4e5b7925
parent 15837 7a567dcd4cda
child 15839 12b06f56209a
*** empty log message ***
TODO file | annotate | diff | comparison | revisions 
--- 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)
isabelle