diff src/monoize.sml @ 1043:d73cf02427df

New release
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Nov 2009 09:48:28 -0500
parents a8a825861397
children 93315ac00394
line wrap: on
line diff
--- a/src/monoize.sml	Tue Nov 24 09:24:25 2009 -0500
+++ b/src/monoize.sml	Tue Nov 24 09:48:28 2009 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2009, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without