History log of /seL4-l4v-10.1.1/HOL4/examples/logic/ltl/Holmakefile
Revision Date Author Comments
# f7787a98 12-Sep-2017 Simon Jantsch <simon.jantsch@gmail.com>

added dependency on gfg