KWARC/Sally — pull request #12 by cliguda (2013-10-09 15:15:00+00:00)
Title: Debug ASM

Debug conflict with old ASM
Verification testing of the new ASM