diff options
| author | aarne <aarne@chalmers.se> | 2012-09-23 07:46:43 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2012-09-23 07:46:43 +0000 |
| commit | 0345bb5d7a48e2823af134e3552e9197718276dc (patch) | |
| tree | 0e4beafaba27ebe9cc4189a6c8bb844683919f9b /examples/SUMO/TPTP/elementsAx.p | |
| parent | 2f500e521d578f11cfc8ec45d67280860384bbc6 (diff) | |
refactoring German VP
Diffstat (limited to 'examples/SUMO/TPTP/elementsAx.p')
0 files changed, 0 insertions, 0 deletions