log src/cjr_print.sml

age author description
Sat, 16 May 2009 16:02:17 -0400 Adam Chlipala Mutual datatypes through Cjrize
Sat, 16 May 2009 13:10:52 -0400 Adam Chlipala Add extra XML preamble nonsense
Sat, 16 May 2009 12:41:33 -0400 Adam Chlipala Fix a Core_untangle bug that missed closure variable references; XHTMLize