History log of /seL4-l4v-master/HOL4/examples/elliptic/Map.sig
Revision Date Author Comments
# 3160fe7b 10-Jul-2007 Konrad Slind <konrad.slind@gmail.com>

Moving files from spec up a level. Deleting spec.