History log of /seL4-l4v-master/HOL4/src/tfl/examples/monad.cong
Revision Date Author Comments
# 4bbb6afd 15-Sep-2010 Konrad Slind <konrad.slind@gmail.com>

Example (monad stuff) showing to to deal with some kinds
of higher order recursion.