src/HOLCF/Fixrec.thy
Thu, 23 Jun 2005 21:17:26 +0200 huffman added match functions for spair, sinl, sinr
Sat, 18 Jun 2005 00:38:18 +0200 huffman fixrec shows unsolved subgoals when proofs of rewrites fail
Fri, 17 Jun 2005 18:50:40 +0200 huffman added match functions for ONE, TT, and FF; added theorem mplus_fail2
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Wed, 15 Jun 2005 20:50:38 +0200 huffman fixrec package now handles mutually-recursive definitions
Sat, 04 Jun 2005 02:11:47 +0200 huffman use fixrec_package.ML
Sat, 04 Jun 2005 00:22:08 +0200 huffman New theory with lemmas for the fixrec package
less more (0) tip