comparison lib/basis.urs @ 407:345fcf91c806

Rec demo
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 17:34:20 -0400
parents a71600cac815
children c5a3d223f157
comparison
equal deleted inserted replaced
406:a71600cac815 407:345fcf91c806
331 val br : bodyTagStandalone [] 331 val br : bodyTagStandalone []
332 332
333 val p : bodyTag [] 333 val p : bodyTag []
334 val b : bodyTag [] 334 val b : bodyTag []
335 val i : bodyTag [] 335 val i : bodyTag []
336 val tt : bodyTag []
336 val font : bodyTag [Size = int, Face = string] 337 val font : bodyTag [Size = int, Face = string]
337 338
338 val h1 : bodyTag [] 339 val h1 : bodyTag []
339 val li : bodyTag [] 340 val li : bodyTag []
340 341