Basically, the current \subsection structure could be split at the file level.
Then, the Evidences.* directory becomes a bit over-populated, so we would
benefit from an Evidences.Syntax.* (the stuffs previously in Tm.lhs) and
Evidences.Semantics.* (the stuffs previously in Rules.lhs) structure.
Original issue reported on code.google.com by pedag...@gmail.com on 26 Aug 2010 at 11:12
Original issue reported on code.google.com by
pedag...@gmail.com
on 26 Aug 2010 at 11:12