2005-12-07 | wenzelm | replaced swap by Classical.swap; | changeset | files |
2005-12-07 | wenzelm | avoid unportable tail; | changeset | files |
2005-12-07 | urbanc | tuned | changeset | files |
2005-12-06 | haftmann | removed thms 'swap' and 'nth_map' from ML toplevel | changeset | files |
2005-12-06 | haftmann | improved serialization of classes to haskell | changeset | files |
2005-12-06 | haftmann | improved class handling | changeset | files |
2005-12-06 | haftmann | added 'dig' combinator | changeset | files |
2005-12-06 | haftmann | re-oriented some result tuples in PureThy | changeset | files |
Loading... |