Fri, 03 Jul 2009 23:29:03 +0200 | haftmann | nominal.ML is nominal_datatype.ML | changeset | files |
Fri, 03 Jul 2009 16:51:56 +0200 | haftmann | merged | changeset | files |
Fri, 03 Jul 2009 16:51:08 +0200 | haftmann | nominal.ML is nominal_datatype.ML | changeset | files |
Fri, 03 Jul 2009 16:51:07 +0200 | haftmann | cleaned up fundamental iml term functions; nested patterns | changeset | files |