annotate demo/prose @ 394:9f6fe6f32961

ord_float and ord_bool
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 11:19:17 -0400
parents 758304561b60
children 8084fa9216de
rev   line source
adamc@380 1 <p>This is a demo.</p>
adamc@380 2
adamc@380 3 hello.urp
adamc@380 4
adamc@380 5 <p>This one is my favorite.</p>
adamc@380 6
adamc@380 7 link.urp
adamc@380 8
adamc@380 9 <p>This is my second favorite.</p>