Sat, 02 Jan 2010 23:18:58 +0100 | krauss | new year's resolution: reindented code in function package | changeset | files |
Sat, 02 Jan 2010 23:18:58 +0100 | krauss | provide simp and induct rules in Function.info | changeset | files |
Sat, 02 Jan 2010 23:18:58 +0100 | krauss | more official data record Function.info | changeset | files |
Sat, 02 Jan 2010 23:18:58 +0100 | krauss | simplified | changeset | files |
Sat, 02 Jan 2010 23:18:58 +0100 | krauss | absorb structures Decompose and Descent into Termination, to simplify further restructuring | changeset | files |
Sat, 02 Jan 2010 22:57:19 +0100 | nipkow | another legacy "asm_lr" | changeset | files |
Sat, 02 Jan 2010 21:31:33 +0100 | nipkow | merged | changeset | files |