merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEad45ae49be85: more de-applying
rISABELLEfeebdaa346e5: bundles for reflected term syntax - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- e7ee815b04bf CONTRIBUTORSAuthor
- 9576d0faf8f9 proper theory name;Author
- 110bfed4815d proper document_theories;Author
- d9f2be66ebad support for watchdog thread;Author
- e8d7dc1c229c more parallelism;Author
- b2bbe2e6575d tuned signature;Author
- c806eeb9138c clarified messages;Author
- e00089ddf462 tuned imports;Author
- b6b6248d4719 Tuned documentationAuthor
- 20587c17cb20 Expanded and tuned documentationAuthor
- 18eb7ec2720f Tuned indentationAuthor
- 4ea19e5dc67e Tuned isar_step datatypeAuthor
- e728d3a3d383 Tuned isar_proofs constructionsAuthor
- b69a3a7655f2 Tuned isar_proof datatypeAuthor
- 531a0c44ea3f more interrupts;Author
- 913407dad883 redundant, see prepare_dir;Author
- c7ab83a0c564 tuned signature;Author
- a085a1a89388 more operations;Author
- ab4a0b19648a tuned signature;Author