summaryrefslogtreecommitdiff
path: root/snapshots/isabelle/lib/lem/Lem_basic_classes.thy
AgeCommit message (Collapse)Author
2018-08-29Updated snapshots for Isabelle 2018Thomas Bauereiss
2018-07-11Update Isabelle snapshotsThomas Bauereiss
Except RISC-V duopod, which doesn't seem to build for me at the moment
2018-05-11Add snapshot of generated Isabelle theoriesThomas Bauereiss
Currently contains Lem and Sail libraries, and RISC-V and CHERI-MIPS specs.