| Tue, 16 Oct 2001 17:55:53 +0200 | wenzelm | typedef: export result; | changeset | files |
| Tue, 16 Oct 2001 17:55:38 +0200 | wenzelm | ignore typedef result; | changeset | files |
| Tue, 16 Oct 2001 17:55:16 +0200 | wenzelm | declare projected induction rules stemming from nested recursion; | changeset | files |
| Tue, 16 Oct 2001 17:52:07 +0200 | wenzelm | TypedefPackage.add_typedef_no_result; | changeset | files |
| Tue, 16 Oct 2001 17:51:50 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Oct 2001 17:51:12 +0200 | wenzelm | * HOL: concrete setsum syntax "\<Sum>i:A. b" == "setsum (%i. b) A" | changeset | files |
| Tue, 16 Oct 2001 17:25:44 +0200 | wenzelm | option -o FILE --output to FILE (ps, eps, pdf); | changeset | files |