Directory above. Possibly a directory with some files - analyze them all one after another or enter some of the names into the field above!
advisor applast contains.lam depth doubleapp ex_depth flip grammar groundunify.complex groundunify.simple imperative-solve.power liftsolve.app liftsolve.db1 liftsolve.db2 liftsolve.lmkng map.reduce map.rev match match-append maxlength memo-solve missionaries model_elim petri-meta petri-object regexp.r1 regexp.r2 regexp.r3 relative remove remove2 rev_acc_type rev_acc_type.inffail rotateprune ssuply transpose upto.sum1 upto.sum2 .
cTI,
Fred Mesnard
(Université de La Réunion),
Ulrich Neumerkel
(Technische Universität Wien)