History log of /seL4-l4v-10.1.1/HOL4/src/num/theories/Num_conv.sig
Revision Date Author Comments
# 32bf1e49 02-Feb-2015 Piotr Trojanek <piotr.trojanek@gmail.com>

extra semicolons removed from (some) .sig files


# c4b9d5d1 02-Dec-1999 Konrad Slind <konrad.slind@gmail.com>

Forgot to add these things. It's very important to remember to add
these sorts of things. .... and repeat 1000 times.