Merge branch 'theory-rewrite'
authorAaron Zauner <azet@azet.org>
Mon, 23 Dec 2013 20:28:04 +0000 (21:28 +0100)
committerAaron Zauner <azet@azet.org>
Mon, 23 Dec 2013 20:28:04 +0000 (21:28 +0100)
commit83af75d96ce0dad3ee710fb4ad4cf461974ce20a
tree78462298f4f165f094e8d89eff30226c88b99bb9
parent6a7d61256d2d4dfbaa50191915d735910bd77336
parent4ec2a39c92f1da7b7b086796f24eefed786ff9b8
Merge branch 'theory-rewrite'