merge
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP5728774bf660: fix sitegen warning
rAFPab7cbd1a97a5: sitegen, new topics for quantum compution/information - 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.
- 01a2d304855c New entry Interpreter_OptimizationsAuthor
- 59470eb9f5ab sorted out lemmasAuthor
- 1998678fe699 adapted to develAuthor
- bcbda9a982dc more generous timeout;Author
- 5d155a850a33 more generous timeout;Author
- 47cff1c3c5c9 redundant;Author
- f59bb635da5b more generous timeout;Author
- e06e6a6a8ac4 tuned whitespace;Author
- 009fa5ffc3e6 sorted out lemmasAuthor
- 921126ac4dd1 adapted to Isabelle/5f9d66155081;Author
- a13bec92d3d2 opening is now a keywordAuthor
- 69f3a2dbc505 sorted out lemmasAuthor
- 707413df05fd merge from afp-2020Author
- a9526e233fe2 use new Heaps.thyAuthor
- 348d64d3a54d sorted out lemmasAuthor
- 5ded4ffd242b sorted out lemmasAuthor
- 38e989792057 sorted out lemmasAuthor
- c7ce9d354883 sorted out lemmasAuthor
- 13c18a730ac4 factored out lemmasAuthor
- e3576c775700 more robust;Author
- d6be5fd1a75a factored out operationsAuthor
- 21e7ccd3d91a guideAuthor
- a721aec5f967 added proper T_insertAuthor
- 8ed3de8a9a8b fixed FolgefehlerAuthor
- 6a7eaa2aca1f simplified proofs!Author
- 68a46447e50a trivalAuthor
- 01f7865f30b1 proper document_theories;Author