proper message (amending 94442fce40a5);
Description
Description
Details
Details
- Committed
makarius Nov 4 2019, 8:24 PM - Parents
- rISABELLE35a8e15b7e03: more robust Thm.expose_theory -- ensure that PIDE export happens in the proper…
- Branches
- Unknown
- Tags