Changes between Initial Version and Version 1 of Ticket #1634
 Timestamp:
 Aug 31, 2007 3:17:28 PM (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #1634 – Description
initial v1 1 1 {{{ 2 t1 :: a>(forall b. b>(a,b))  isn't this the same as forall a b. a>b>(a,b) 2 t1 :: a>(forall b. b>(a,b)) 3  isn't this the same as forall a b. a>b>(a,b) 3 4 t1 = (,) 4 5 }}}