History log of /seL4-l4v-master/isabelle/src/Provers/preorder.ML
Revision Date Author Comments
# a206ca83 15-Feb-2019 haftmann <none@none>

proper installation of ancient procedure for preorders

--HG--
rename : src/Provers/quasi.ML => src/Provers/preorder.ML
extra : rebase_source : 31a5d8baf7160b2063e56426ae5bc6f8fe53da89