merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rAFP76eb5ab42012: arg -> Arg
rAFP3e122937ba1a: Add entry public announcement logic - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- e8af416c2e70 fixed typosAuthor
- 1a99ac2d4342 more word cleanupAuthor
- f1195cc96e85 more default simp rulesAuthor
- 9e42e0c5f9f9 some word streamliningAuthor
- 55af834ad1b8 made consistent againAuthor
- 06eb6c7d6c76 lemma groomingAuthor
- 2e179108e08f merge Jinja/Isar workAuthor
- fd1d5b3fdd7c close branchAuthor
- daa87ea0470c close branchAuthor
- f7321f5a8909 close branchAuthor
- a040f98f10ef close branchAuthor
- ff876ac75e44 close branchAuthor
- 3b5ff4b8d37d Closing branch "devel"Author
- a0d561998f20 closed branchAuthor
- ad14484777fc merged