| 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 |