log src/mono_shake.sml

age author description
Sun, 14 Aug 2011 09:31:53 -0400 Adam Chlipala Remove commented-out code