Mercurial > urweb
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 * |