permissive treatment of citations before the theory header: avoid too many changes in AFP;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7c23db6b857b: more detailed Program_Progress / Log_Progress: each program gets its own log…
- Branches
- Unknown
- Tags