Tue, 23 Mar 2010 19:35:33 +0100 | wenzelm | merged | changeset | files |
Tue, 23 Mar 2010 10:07:39 -0700 | huffman | remove continuous let-binding function CLet; add cont2cont rule ordinary Let | changeset | files |
Tue, 23 Mar 2010 09:39:21 -0700 | huffman | move letrec stuff to new file HOLCF/ex/Letrec.thy | changeset | files |