diff options
Diffstat (limited to 'phox/example.phx')
| -rw-r--r-- | phox/example.phx | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/phox/example.phx b/phox/example.phx new file mode 100644 index 00000000..5dacbb20 --- /dev/null +++ b/phox/example.phx @@ -0,0 +1,22 @@ +(* + Example proof script for PhoX Proof General + + $Id$ +*) + +(* +goal /\n:N (ack n N1 >= N2). +intro 2. +elim H. +trivial. +elim -1 [case] H0. +trivial. +trivial. +save ack_lem7. +*) + +prop (* test *) (* just un test *) test /\X (X -> X). +print $0. +trivial. +save. + |