| Sat, 21 Apr 2007 11:07:42 +0200 | wenzelm | added decode_term (belongs to Syntax module); | changeset | files |
| Sat, 21 Apr 2007 01:34:15 +0200 | urbanc | tuned the setup of fresh_fun | changeset | files |
| Fri, 20 Apr 2007 17:58:27 +0200 | haftmann | defs are added to code data | changeset | files |
| Fri, 20 Apr 2007 17:58:26 +0200 | haftmann | repaired value restriction problem | changeset | files |