| Tue, 12 Jul 2005 21:49:38 +0200 | obua | - use TableFun instead of homebrew binary tree in am_interpreter.ML | changeset | files |
| Tue, 12 Jul 2005 19:29:52 +0200 | obua | - introduce Pure/Tools directory | changeset | files |
| Tue, 12 Jul 2005 19:18:55 +0200 | haftmann | fold_map -> fold_yield, added transformator combinators, added selector combinator | changeset | files |
| Tue, 12 Jul 2005 18:44:32 +0200 | huffman | changed orientation of bind_assoc rule | changeset | files |