equal
deleted
inserted
replaced
1 package isac.bridge |
1 package isac.bridge |
2 |
2 |
3 import info.hupel.isabelle._ |
3 import edu.tum.cs.isabelle._ |
4 import info.hupel.isabelle.api.XML |
4 import edu.tum.cs.isabelle.api.XML |
5 |
5 |
6 object IsacOperationsScala { |
6 object IsacOperationsScala { |
7 |
7 |
8 def implicitly[I : Codec, O : Codec](name: String): Operation[I, O] = |
8 def implicitly[I : Codec, O : Codec](name: String): Operation[I, O] = |
9 Operation.simple(name, Codec[I], Codec[O]) |
9 Operation.simple(name, Codec[I], Codec[O]) |