diff options
| author | Thomas Bauereiss | 2018-07-11 13:22:18 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-11 13:27:46 +0100 |
| commit | e2289d8a86ff57881e1008b42a11409974254b69 (patch) | |
| tree | 00129107ac0eb683cf30aacaf8b5ee56a69af983 /doc/usage.tex | |
| parent | 7e79a2adde6a75e33973a1cd559f85a47551b18a (diff) | |
Update Isabelle and HOL snapshots
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions