diff -r 4d54702229fd -r 0329bc0bceec turing.scala
--- a/turing.scala	Mon Feb 18 13:28:51 2013 +0000
+++ b/turing.scala	Mon Feb 18 13:33:00 2013 +0000
@@ -210,11 +210,6 @@
   Abacus(Dec(in1, jump) :: tm.p)
 }
 
-def Mult(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
-  val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
-  Abacus(Dec(in1, jump) :: tm.p)
-}
-
 def Expo(in1: Int, in2: Int, out: Int, tmp: Int, jump: Int) = {
   val tm = Plus(in2, out, tmp, -1).shift(1, -1).adjust(-1, 0)
   Abacus(Dec(in1, jump) :: tm.p)