log src/mono_shake.sig

age author description
2008-07-17 Adam Chlipala MonoShake