Mon, 27 Apr 2009 19:44:30 -0700 | huffman | add proper support for bottom-patterns in fixrec package | file | diff | annotate |
Fri, 27 Feb 2009 19:05:46 -0800 | huffman | fixrec package uses new-style syntax and local-theory interface | file | diff | annotate |
Thu, 23 Jun 2005 22:08:24 +0200 | huffman | add new file to test fixrec package | file | diff | annotate |