comparison lib/basis.urs @ 332:02d15d81ae9b

foldTRX2
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 11:13:46 -0400
parents 950320f33232
children e976b187d73a
comparison
equal deleted inserted replaced
331:41458a694575 332:02d15d81ae9b
257 257
258 con html = [Html] 258 con html = [Html]
259 con head = [Head] 259 con head = [Head]
260 con body = [Body] 260 con body = [Body]
261 con lform = [Body, LForm] 261 con lform = [Body, LForm]
262 con tabl = [Body, Table]
263 con tr = [Body, Tr]
262 264
263 val head : unit -> tag [] html head [] [] 265 val head : unit -> tag [] html head [] []
264 val title : unit -> tag [] head [] [] [] 266 val title : unit -> tag [] head [] [] []
265 267
266 val body : unit -> tag [] html body [] [] 268 val body : unit -> tag [] html body [] []