| Sun, 03 Jan 2010 15:08:17 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Sun, 03 Jan 2010 11:03:22 +0000 | paulson | merged | changeset | files |
| Sun, 03 Jan 2010 11:03:00 +0000 | paulson | removed legacy asm_lr_simp_tac | changeset | files |
| Sun, 03 Jan 2010 10:01:23 +0100 | nipkow | removed more asm_rl's - unfortunately slowdown of 1 min. | changeset | files |
| 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 |
| Sat, 02 Jan 2010 21:31:15 +0100 | nipkow | removed legacy asm_lr | changeset | files |
| Sat, 02 Jan 2010 20:10:21 +0100 | wenzelm | merged | changeset | files |
| Fri, 01 Jan 2010 19:15:43 +0100 | nipkow | added lemmas | changeset | files |
| Fri, 01 Jan 2010 17:21:44 +0100 | nipkow | added lemma | changeset | files |
| Fri, 01 Jan 2010 16:34:51 +0100 | nipkow | removed FIXME | changeset | files |