Wed, 17 Feb 2010 09:08:58 -0800 | fix warnings about duplicate simp rules | file | diff | annotate |
Fri, 27 Feb 2009 19:05:46 -0800 | fixrec package uses new-style syntax and local-theory interface | file | diff | annotate |
Thu, 19 Feb 2009 09:39:49 -0800 | add Powerdomain_ex.thy | file | diff | annotate |