Mon, 14 Mar 2005 20:30:43 +0100 fixed syntax for Let <x,y> = a in e
huffman [Mon, 14 Mar 2005 20:30:43 +0100] rev 15609
fixed syntax for Let <x,y> = a in e
Mon, 14 Mar 2005 17:04:10 +0100 bug fixes involving typechecking clauses
paulson [Mon, 14 Mar 2005 17:04:10 +0100] rev 15608
bug fixes involving typechecking clauses
Sat, 12 Mar 2005 00:07:05 +0100 removed theorems about Sinl_Rep and Sinr_Rep
huffman [Sat, 12 Mar 2005 00:07:05 +0100] rev 15607
removed theorems about Sinl_Rep and Sinr_Rep
Fri, 11 Mar 2005 23:58:31 +0100 simplified some definitions, many proofs are much shorter
huffman [Fri, 11 Mar 2005 23:58:31 +0100] rev 15606
simplified some definitions, many proofs are much shorter
Fri, 11 Mar 2005 16:56:48 +0100 minor Library.option related modifications
webertj [Fri, 11 Mar 2005 16:56:48 +0100] rev 15605
minor Library.option related modifications
Fri, 11 Mar 2005 16:35:06 +0100 code reformatted
webertj [Fri, 11 Mar 2005 16:35:06 +0100] rev 15604
code reformatted
Fri, 11 Mar 2005 16:08:21 +0100 code reformatted
webertj [Fri, 11 Mar 2005 16:08:21 +0100] rev 15603
code reformatted
Fri, 11 Mar 2005 00:45:07 +0100 fixed bug: domain package can now define three or more mutually recursive types simultaneously
huffman [Fri, 11 Mar 2005 00:45:07 +0100] rev 15602
fixed bug: domain package can now define three or more mutually recursive types simultaneously
Fri, 11 Mar 2005 00:43:52 +0100 domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
huffman [Fri, 11 Mar 2005 00:43:52 +0100] rev 15601
domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
Thu, 10 Mar 2005 20:22:45 +0100 fixed filename in header
huffman [Thu, 10 Mar 2005 20:22:45 +0100] rev 15600
fixed filename in header
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip