summaryrefslogtreecommitdiff
path: root/lib/isabelle/manual
AgeCommit message (Expand)Author
2018-08-29Updated snapshots for Isabelle 2018Thomas Bauereiss
2018-08-28Adapt theory imports for Isabelle 2018Thomas Bauereiss
2018-07-09Simplify treating of undefined_bool in Lem libraryThomas Bauereiss
2018-06-21Follow Sail2 renaming in Isabelle libraryThomas Bauereiss
2018-05-18Make named theorem collections of state monad more fine-grainedThomas Bauereiss
2018-05-17Merge branch 'cheri-mono' into sail2Brian Campbell
2018-05-11Add snapshot of generated Isabelle theoriesThomas Bauereiss
2018-05-04Add back purely sequential Lem generationThomas Bauereiss
2018-04-24Add some explanations to free monad documentationThomas Bauereiss
2018-04-20Make building of Isabelle heap image optionalThomas Bauereiss
2018-04-19Fix minor typo.Prashanth Mundkur
2018-04-19more nuanced discussion of generating HOL4 and CoqPeter Sewell
2018-04-18Add generated PDF of documentation draft --- comments welcomeThomas Bauereiss
2018-04-18Add first draft of Isabelle library documentationThomas Bauereiss
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 01:12:44 +0000