History log of /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/etc/settings
Revision Date Author Comments
# e8c3540a 27-Feb-2012 wenzelm <none@none>

more standard settings -- refer to COMPONENT at most once;
# cadbf5cb 23-Jan-2012 blanchet <none@none>

added problem importer
# 5b90ad7c 23-Jan-2012 blanchet <none@none>

moved "nitrox" to TPTP

--HG--
rename : src/HOL/Tools/Nitpick/etc/settings => src/HOL/TPTP/etc/settings
rename : src/HOL/Tools/Nitpick/lib/Tools/nitrox => src/HOL/TPTP/lib/Tools/nitrox