History log of /seL4-l4v-master/l4v/lib/Extract_Conjunct.thy
Revision Date Author Comments
# a424d55e 09-Mar-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

licenses: convert license tags to SPDX
# 011e0845 09-Jun-2018 Gerwin Klein <gerwin.klein@data61.csiro.au>

Isabelle2018: new comment syntax

(result of "isabelle update_comments <dirs>")
# d27f8476 23-Nov-2017 Matthew Brecknell <Matthew.Brecknell@data61.csiro.au>

lib: add methods for extracting conjuncts from the conclusion