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

Moving files from spec up a level. Deleting spec.