proper theory context for formal citations;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4c275405faae: isabelle update -u cite;
- Branches
- Unknown
- Tags
- Reverted By
- rISABELLEff203584b36e: backed out changeset 7f7d5c93e36b: no longer required thanks to 9096703ed99e;