Thu, 08 Dec 2011 13:46:04 +0100 HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
huffman [Thu, 08 Dec 2011 13:46:04 +0100] rev 45788
HOLCF/ex/Letrec.thy: keep class 'domain' as default sort
Thu, 08 Dec 2011 13:25:54 +0100 more error checking for fixrec
huffman [Thu, 08 Dec 2011 13:25:54 +0100] rev 45787
more error checking for fixrec
Thu, 08 Dec 2011 13:25:40 +0100 reinstate old functions cfst and csnd as abbreviations
huffman [Thu, 08 Dec 2011 13:25:40 +0100] rev 45786
reinstate old functions cfst and csnd as abbreviations
Thu, 08 Dec 2011 09:10:54 +0100 merged
nipkow [Thu, 08 Dec 2011 09:10:54 +0100] rev 45785
merged
Thu, 08 Dec 2011 09:10:44 +0100 tuned
nipkow [Thu, 08 Dec 2011 09:10:44 +0100] rev 45784
tuned
Wed, 07 Dec 2011 16:06:08 +0000 merged
Christian Urban <urbanc@in.tum.de> [Wed, 07 Dec 2011 16:06:08 +0000] rev 45783
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip