Mercurial > urweb
comparison src/elab_util.sig @ 25:0a762c73824d
Monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 10 Jun 2008 13:14:45 -0400 |
parents | 6049e2193bf2 |
children | 44b5405e74c7 |
comparison
equal
deleted
inserted
replaced
24:ea15905e598d | 25:0a762c73824d |
---|