diff options
| author | Thomas Bauereiss | 2018-05-11 15:25:27 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-11 16:11:51 +0100 |
| commit | 3b2185dabdd5003c7553a7c86eab201cdebd5630 (patch) | |
| tree | bda80e8df99789ac8594f92c571476d5a1b6db8e /lib/isabelle/manual/document.pdf | |
| parent | 2a6e5eca7b28c5069e402a34ec36b7a6e18b274e (diff) | |
Add snapshot of generated Isabelle theories
Currently contains Lem and Sail libraries, and RISC-V and CHERI-MIPS specs.
Diffstat (limited to 'lib/isabelle/manual/document.pdf')
| -rw-r--r-- | lib/isabelle/manual/document.pdf | bin | 216829 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/isabelle/manual/document.pdf b/lib/isabelle/manual/document.pdf Binary files differdeleted file mode 100644 index 200f8e22..00000000 --- a/lib/isabelle/manual/document.pdf +++ /dev/null |