src/test/resources/edu/kit/formal/interpreter · 2e37effe8e19c3c1d4adfdb164fea7cc82a91a9a · sarah.grebing / ProofScriptParser · GitLab

History Find file

First version for applying rule after interpreting script · 2e37effe
Sarah Grebing authored Aug 10, 2017

2e37effe

Name	Last commit	Last update
..
contraposition		Loading commit data...
javaExample		Loading commit data...
lib		Loading commit data...
paperExample		Loading commit data...
dbg.kps		Loading commit data...
includetest.kps		Loading commit data...
simple1.txt		Loading commit data...
testSimple2.txt		Loading commit data...