History log of /seL4-l4v-master/HOL4/examples/lambda/typing/Holmakefile
Revision Date Author Comments
# 51fac28d 27-Aug-2008 Michael Norrish <Michael.Norrish@nicta.com.au>

Make a new directory containing some work on simple typing for the
lambda calculus.