lntue
diff --git a/‎gappa/exp-td-accurate1.gappa ‎gappa/exp-td/exp-td-accurate1.gappa b/‎gappa/exp-td-accurate1.gappa ‎gappa/exp-td/exp-td-accurate1.gappa
diff --git a/‎gappa/exp-td-accurate2.gappa ‎gappa/exp-td/exp-td-accurate2.gappa b/‎gappa/exp-td-accurate2.gappa ‎gappa/exp-td/exp-td-accurate2.gappa
diff --git a/‎gappa/exp-td-accurate3.gappa ‎gappa/exp-td/exp-td-accurate3.gappa b/‎gappa/exp-td-accurate3.gappa ‎gappa/exp-td/exp-td-accurate3.gappa
diff --git a/‎gappa/exp-td-accurate4.gappa ‎gappa/exp-td/exp-td-accurate4.gappa b/‎gappa/exp-td-accurate4.gappa ‎gappa/exp-td/exp-td-accurate4.gappa
diff --git a/‎gappa/exp-td-proof.sh ‎gappa/exp-td/exp-td-proof.sh b/‎gappa/exp-td-proof.sh ‎gappa/exp-td/exp-td-proof.sh
diff --git a/‎gappa/log-de.README
-28 b/‎gappa/log-de.README
-28
diff --git a/‎gappa/log-de-acc-index0-E0.gappa ‎gappa/log-de/log-de-acc-index0-E0.gappa b/‎gappa/log-de-acc-index0-E0.gappa ‎gappa/log-de/log-de-acc-index0-E0.gappa
diff --git a/‎gappa/log-de-acc-index0-E1N.gappa ‎gappa/log-de/log-de-acc-index0-E1N.gappa b/‎gappa/log-de-acc-index0-E1N.gappa ‎gappa/log-de/log-de-acc-index0-E1N.gappa
diff --git a/‎gappa/log-de-acc-index1N-E0.gappa ‎gappa/log-de/log-de-acc-index1N-E0.gappa b/‎gappa/log-de-acc-index1N-E0.gappa ‎gappa/log-de/log-de-acc-index1N-E0.gappa
diff --git a/‎gappa/log-de-acc-index1N-E1N.gappa ‎gappa/log-de/log-de-acc-index1N-E1N.gappa b/‎gappa/log-de-acc-index1N-E1N.gappa ‎gappa/log-de/log-de-acc-index1N-E1N.gappa
diff --git a/‎gappa/log-de-index0-E0.gappa ‎gappa/log-de/log-de-index0-E0.gappa b/‎gappa/log-de-index0-E0.gappa ‎gappa/log-de/log-de-index0-E0.gappa
diff --git a/‎gappa/log-de-index0-E1N.gappa ‎gappa/log-de/log-de-index0-E1N.gappa b/‎gappa/log-de-index0-E1N.gappa ‎gappa/log-de/log-de-index0-E1N.gappa
diff --git a/‎gappa/log-de-index1N-E0N.gappa ‎gappa/log-de/log-de-index1N-E0N.gappa b/‎gappa/log-de-index1N-E0N.gappa ‎gappa/log-de/log-de-index1N-E0N.gappa
diff --git a/‎gappa/log-td-E0-logir0.gappa ‎gappa/log-td/log-td-E0-logir0.gappa b/‎gappa/log-td-E0-logir0.gappa ‎gappa/log-td/log-td-E0-logir0.gappa
diff --git a/‎gappa/log-td-E0.gappa ‎gappa/log-td/log-td-E0.gappa b/‎gappa/log-td-E0.gappa ‎gappa/log-td/log-td-E0.gappa
diff --git a/‎gappa/log-td-accurate-E0-logir0.gappa ‎gappa/log-td/log-td-accurate-E0-logir0.gappa b/‎gappa/log-td-accurate-E0-logir0.gappa ‎gappa/log-td/log-td-accurate-E0-logir0.gappa
diff --git a/‎gappa/log-td-accurate-E0.gappa ‎gappa/log-td/log-td-accurate-E0.gappa b/‎gappa/log-td-accurate-E0.gappa ‎gappa/log-td/log-td-accurate-E0.gappa
diff --git a/‎gappa/log-td-accurate.gappa ‎gappa/log-td/log-td-accurate.gappa b/‎gappa/log-td-accurate.gappa ‎gappa/log-td/log-td-accurate.gappa
diff --git a/‎gappa/log-td.gappa ‎gappa/log-td/log-td.gappa b/‎gappa/log-td.gappa ‎gappa/log-td/log-td.gappa