backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE9096703ed99e: clarified formal check of bibtex entries (again), see also 86a099f896fc and…
- Branches
- Unknown
- Tags
- Reverts
- rISABELLE7f7d5c93e36b: proper theory context for formal citations;