src/Tools/Code/code_thingol.ML
2009-07-08 haftmann 2009-07-08 tuned structure Code internally
2009-07-07 haftmann 2009-07-07 tuned interface of structure Code
2009-07-03 haftmann 2009-07-03 cleaned up fundamental iml term functions; nested patterns
2009-06-30 haftmann 2009-06-30 improved treatment of case patterns
2009-06-30 haftmann 2009-06-30 an intermediate step towards a refined translation of cases
2009-06-30 haftmann 2009-06-30 all variable names are optional
2009-06-30 haftmann 2009-06-30 variable names in abstractions are optional
2009-06-30 haftmann 2009-06-30 simplified binding concept
2009-06-23 haftmann 2009-06-23 uniformly capitialized names for subdirectories