Mercurial > urweb
comparison src/elab_util.sig @ 2225:6262dabc08d6
Simplify example.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 27 Mar 2015 11:19:15 -0400 |
parents | d28adceef22a |
children | 1091227f535a |
comparison
equal
deleted
inserted
replaced
2224:5709482a2afd | 2225:6262dabc08d6 |
---|