| Tue, 23 Mar 2010 22:43:53 +0100 | boehmes | use ml_platform instead of ml_system to distinguish library names | changeset | files |
| Tue, 23 Mar 2010 20:46:47 +0100 | boehmes | merged | changeset | files |
| Tue, 23 Mar 2010 20:46:08 +0100 | boehmes | use LONG rather than INT to represent the C datatype size_t | changeset | files |
| 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 |
| Tue, 23 Mar 2010 19:35:03 +0100 | wenzelm | more accurate dependencies; | changeset | files |