Initial equation blocks now only range over a single equation.
authorJoey Capper <jjc@cs.nott.ac.uk>
Fri, 10 Jun 2011 12:30:32 +0000 (13:30 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Fri, 10 Jun 2011 12:30:32 +0000 (13:30 +0100)
commitfd6d306fc058f7183f4a873f20bbcf51466d05f4
tree3dd8fee29f4c578d3431cc12d842fe9a63450d78
parentd0c98f580bc2e139c6a71951d38b3668537800ef
Initial equation blocks now only range over a single equation.
Examples.agda
Extraction.agda
FHM.agda
FlatEquations.agda
Labeling.agda
Normalisation.agda
Normals.agda
Simplify.agda
Terms.agda
Weakening.agda