comparison src/sources @ 244:71bafe66dbe1

Laconic -> Ur
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:32:18 -0400
parents 8a70e2919e86
children 0236d9412ad2
comparison
equal deleted inserted replaced
243:2b9dfaffb008 244:71bafe66dbe1
16 prim.sig 16 prim.sig
17 prim.sml 17 prim.sml
18 18
19 source.sml 19 source.sml
20 20
21 lacweb.grm 21 urweb.grm
22 lacweb.lex 22 urweb.lex
23 23
24 source_print.sig 24 source_print.sig
25 source_print.sml 25 source_print.sml
26 26
27 elab.sml 27 elab.sml