From 303cfa5409c159faa1a4f28b5f33026f4f7d284d Mon Sep 17 00:00:00 2001
From: Fayez Abu Alia <fayez@vpn2168.extern.uni-tuebingen.de>
Date: Wed, 20 Jun 2018 18:08:25 +0200
Subject: [PATCH] log entfernt

---
 test/logFiles/.log.swp | Bin 12288 -> 0 bytes
 test/logFiles/log      |  34 ----------------------------------
 2 files changed, 34 deletions(-)
 delete mode 100644 test/logFiles/.log.swp
 delete mode 100644 test/logFiles/log

diff --git a/test/logFiles/.log.swp b/test/logFiles/.log.swp
deleted file mode 100644
index 4741e023f9dbf0f22cc572b45749ba9d1a316006..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 12288
zcmeI2O>fgc5Qe85Y55TRfuV4)QR>9yf&vvP{SeS54M__Utq+c~Y12Bkv0c8ZQi(Gh
zLF$!Xz=1PIIQ0Y)oVX(KD|pv9RT>F_dZ<)1mR{}d?9A-s+3_Jtnx%WUD}2=|5uUR|
zU!%**U)+(Q;U7e8_o;fO?SFY@wO=w;alM;ixG`3XL(306*B=afo+T_!hmQk4bX!UB
zj{C@+3cFFqSMgLBt758>wCIPcv#=z3GMGZvLO=){n!qW#GHz$D`o+-;eE!_hp)*OK
z5D)@FKnMr{As_^VfDjM@$B#f74bcwDK9QF`nvX*RW4@F@2nYcoAOwVf5D)@FKnMr{
zAs_^VfDkx_1l$(U-btc|!zdoV|M$NC@0}rf550k2Lpx9#a-bFH0aS%5P!Sr1ex4@!
z41Iz=Lhqnm=oR!5dI2TSD%6Hnpl_#$-a@<3CFsKl@<QKHkFF`wb;%<Hgn$qb0zyCt
z2mv7=1dc0#`b?wD%ge?*U$=O!z;=PhY_q^dohK}==~d6t&@Qm-8y2+7VzgG^l8&h9
z{c3+iMOzwKgl#$w)m5_Tr}lq)-jQIWab5~K?aqdqcESLccNBL=Hcw9CEQbR1ByFfP
zYnuKBa0;j-Gu&XfsGybfdIL9aAEM^|>}ap7{pttW58d_e?MK_C-e(}@ZL?fntli@K
zm@_Avk%|q&G_PTal!j?+5vDz_Ma-FFm2SoX8_hhnk$EFYox9_P&eq`OK;+#6k!~J2
zuOpcaFJD)Af(;{G>m<2h!9vFUgDPfjuKkYFM^)MD9Y4q2?DTnd3#|7lc^RJXCfP0U
z7HtzvtHjIhuof#lS;zm~E#D1Rt%c^g@=}Ko9<5Ex_^MmxYS>Z+mgauopnvA=&>yqS
QPL)@-27~&u5AK=t3(Y4>{r~^~

diff --git a/test/logFiles/log b/test/logFiles/log
deleted file mode 100644
index 72e1f029..00000000
--- a/test/logFiles/log
+++ /dev/null
@@ -1,34 +0,0 @@
-FC:\{java.lang.Object=Elem: Node(java.lang.Object)
-Prec: [java.lang.Object]
-Desc: [java.lang.Object, Tph]
-
-, Tph=Elem: Node(Tph)
-Prec: [java.lang.Object]
-Desc: []
-
-}
-class Tph {
-
-  TPH K m(TPH L a, TPH M b)({
-    TPH N c;
-    (c)::TPH N = ((this)::TPH O.m2((b)::TPH M))::TPH P;
-    return (a)::TPH L;
-  })::TPH Q
-
-  TPH R m2(TPH S b)({
-    return (b)::TPH S;
-  })::TPH T
-
-  Tph()({
-    super(());
-  })::TPH W
-
-}0 AA: []
-1 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (O =. Tph, 0), (S <. R, 1, -1), (O <. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-nextSet: [[(O =. Tph, 0)], [(O =. ? extends Tph, 0)]]
-1 AA: []
-2 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
-Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
-RES: [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]