History log of /seL4-l4v-master/HOL4/src/quotient/examples/lambda/Holmakefile
Revision Date Author Comments
# 2cc02faa 06-Sep-2016 Michael Norrish <Michael.Norrish@nicta.com.au>

Share code across the two big quotient examples