| Sat, 17 Aug 2019 10:38:02 +0200 | wenzelm | clarified signature; | changeset | files |
| 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 |