]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/src/com/example/furt/myapplication/IntroductionRule.java
Ported to latest version of Android SDK
[logicplayer.git] / mainActivity / src / com / example / furt / myapplication / IntroductionRule.java
diff --git a/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java b/mainActivity/src/com/example/furt/myapplication/IntroductionRule.java
deleted file mode 100755 (executable)
index 9799a43..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-package com.example.furt.myapplication;
-
-public interface IntroductionRule
-{
-    int getPriority();
-    public Node createNodes(askFormula ask);
-}