log src/mono_reduce.sml

age author description
Thu, 06 Nov 2008 18:49:38 -0500 Adam Chlipala Tree demo works
Thu, 06 Nov 2008 12:46:45 -0500 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
Thu, 06 Nov 2008 12:08:41 -0500 Adam Chlipala Reading cookies works