X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Fit%2Funibo%2Fcs%2Fhelm%2Fuwobo%2FKey.java;fp=helm%2Fuwobo%2Fsrc%2Fit%2Funibo%2Fcs%2Fhelm%2Fuwobo%2FKey.java;h=22df4a44fe1d92db21fbc55ab1792197e5f47496;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java
new file mode 100644
index 000000000..22df4a44f
--- /dev/null
+++ b/helm/uwobo/src/it/unibo/cs/helm/uwobo/Key.java
@@ -0,0 +1,9 @@
+package it.unibo.cs.helm.uwobo;
+
+import java.util.*;
+
+public class Key {
+        public String  name;
+        public HashMap params;
+};
+