merge from afp-2019
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFPc80191d9c4c9: New entry Aristotles_Assertoric_Syllogistic
rAFPc7faf745010f: moved quickcheck setup to distribution - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 02b9d0561118 recovered proofs;Author
- f9adabfbcca6 merge
- 29b3e29e042e proper Consts.dummy_types;Author
- dcb063b90519 updated to develAuthor
- ee2ef0deb899 updated to develAuthor
- 3e8784de1027 merge from afp-2019Author
- ac9400fa6c74 updated to isabelle be8e617b6eb3Author
- 4a2afe5fa3af session directoriesAuthor
- 4eef94bbdc16 merge from afp-2019Author
- 0291608f6cee adjusted to develAuthor
- ea6d19f95b3c renamingsAuthor
- d874707a9cd2 proper metadata format;Author
- 98320942654a tuned -- no duplicates;Author
- e97ee9322827 declare session directories;Author