| Fri, 16 Aug 2019 21:50:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Aug 2019 21:38:42 +0200 | wenzelm | maintain thm_name vs. derivation_id for global facts; | changeset | files |
| Fri, 16 Aug 2019 21:02:18 +0200 | wenzelm | clarified identity of PThm nodes: do not reuse old id after renaming -- enforce uniqueness of substructures; | changeset | files |
| Fri, 16 Aug 2019 14:01:51 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 16 Aug 2019 15:48:08 +0100 | paulson | Fixed brace matching (plus some whitespace cleanup) | changeset | files |
| Fri, 16 Aug 2019 12:53:47 +0100 | paulson | merged | changeset | files |
| Fri, 16 Aug 2019 12:53:36 +0100 | paulson | new material on eqiintegrable functions, etc. | changeset | files |