History log of /seL4-l4v-10.1.1/l4v/spec/design/skel/RetypeDecls_H.thy
Revision Date Author Comments
# fad2c6aa 11-Jan-2016 Daniel Matichuk <daniel.matichuk@nicta.com.au>

paramatrised abstract and haskell specs over L4V_ARCH

Haskell translator was modified to support multiple translations
of the haskell, with different build parameters.
# 12fa8686 16-May-2015 Gerwin Klein <gerwin.klein@nicta.com.au>

fewer warnings
# 2a03e81d 14-Jul-2014 Gerwin Klein <gerwin.klein@nicta.com.au>

Import release snapshot.