patch applied (hat): In hat-observe, check whether the *result* of a CAF contains the
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Change ' foldr (++) []' to ' concat' .
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Filled in (..) in import/export lists of standard libraries.
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
1
0
10 Oct '06
1
0
patch applied (hat): Minor changes to the main build wrt the hat-tools:
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
patch applied (hat): Bring back the " old" hat tools (i.e. which still work with the nhc98 -T
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0
10 Oct '06
1
0
patch applied (hat): Fix subtle bug which caused some equations to display as partial
by Malcolm Wallace 10 Oct '06
by Malcolm Wallace 10 Oct '06
10 Oct '06
1
0