diff options
| -rw-r--r-- | README | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -28,15 +28,17 @@ Reads a proof trace in, converts it to a DAG a la ProofGraph, then converts it b -Delete <input file> [<num#1>, <num#2>, <num3>] +Delete <input file> [<num#1>, <num#2>, <num3>] > <output file> Removes all theorems of specified numbers from a proof trace. Best used in conjunction with ListThm, so you can -actually know what theorems are what. +actually know what theorems are what. Generates a simplified proof trace as output. -Concat <input #1> <input#2> +Concat <input #1> <input#2> <input #2> > <output file> + +Joins two proof traces together, converts it to a DAG and back again, then outputs the result. |