History log of /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/distribution.scala
Revision Date Author Comments
# c54f7ec4 15-Mar-2018 wenzelm <none@none>

clarified message;
# 331761e9 04-Apr-2016 wenzelm <none@none>

clarified modules;