comparison 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
comparison
equal deleted inserted replaced
1042:a8a825861397 1043:d73cf02427df
1 (* Copyright (c) 2008, Adam Chlipala 1 (* Copyright (c) 2008-2009, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *