| Tue, 07 May 2002 14:26:32 +0200 | wenzelm | use eq_thm_prop instead of slightly inadequate eq_thm; | file | diff | annotate |
| Thu, 20 Dec 2001 14:57:54 +0100 | berghofe | Moved "code" attribute to Pure/codegen.ML | file | diff | annotate |
| Mon, 10 Dec 2001 15:32:10 +0100 | berghofe | Code generator for recursive functions. | file | diff | annotate |