Fri, 16 Aug 2019 12:53:36 +0100 | paulson | new material on eqiintegrable functions, etc. | changeset | files |
Fri, 16 Aug 2019 11:40:13 +0200 | wenzelm | clarified treatment of individual theorems; | changeset | files |
Fri, 16 Aug 2019 10:33:25 +0200 | wenzelm | tuned signature; | changeset | files |
Fri, 16 Aug 2019 10:20:41 +0200 | wenzelm | clarified signature; | changeset | files |
Fri, 16 Aug 2019 10:04:47 +0200 | wenzelm | clarified derivation_name vs. raw_derivation_name; | changeset | files |
Thu, 15 Aug 2019 21:46:43 +0200 | wenzelm | merged | changeset | files |
Thu, 15 Aug 2019 21:18:06 +0200 | wenzelm | more careful treatment of hidden type variable names: smash before zero_var_indexes to get standard enumeration; | changeset | files |