Cross Reference: /seL4-l4v-master/isabelle/src/FOL/

Name		Date	Size
..		25-Jul-2019	16
document/	H	25-Jul-2019	3
ex/	H	25-Jul-2019	18
FOL.thy	H A D	25-Jul-2019	16.3 KiB
fologic.ML	H A D	25-Jul-2019	3.1 KiB
IFOL.thy	H A D	30-Oct-2020	32.4 KiB
intprover.ML	H A D	25-Jul-2019	3.6 KiB
ROOT	H A D	30-Oct-2020	1 KiB
simpdata.ML	H A D	25-Jul-2019	4.7 KiB