https://github.com/matijapretnar/twelf-eff
History
Tip revision: f38f77849aeade6d83991c02cd300e9a7582de95 authored by Matija Pretnar on 19 September 2018, 06:25:10 UTC
Merge branch 'jfp-2018'
Tip revision: f38f778
File Mode Size
fgcbv.mod -rw-r--r-- 1017 bytes
fgcbv.sig -rw-r--r-- 1.2 KB
safety.thm -rw-r--r-- 5.5 KB

back to top