Cross Reference: OpDecls.hascasl
xref: /hets/HasCASL/test/OpDecls.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
OpDecls.hascasl revision 4e1a15d204e2a71395be442baea22c0421b24f3d
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrocktype s
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrock
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrockop a, b : s
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrock
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrockop __ + __ : s -> s -> s, idem, assoc, comm;
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrock
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrockop c : s = a + b
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrock
24db46411fd54f70c35b94bb952eb7ba040e43b4eschrock

Indexes created Tue Jul 24 14:28:13 CEST 2018