Changes

Line 2,737: Line 2,737:  
[[Category:Computer Science]]
 
[[Category:Computer Science]]
 
[[Category:Cybernetics]]
 
[[Category:Cybernetics]]
 +
[[Category:Equational Reasoning]]
 
[[Category:Formal Languages]]
 
[[Category:Formal Languages]]
 
[[Category:Formal Systems]]
 
[[Category:Formal Systems]]
12,080

edits