This is a listing of all goals defined over the current specification. Axioms are yellow, proof obligations purple and theorems green. Click on individual names to get more information on the proof.
| Name: | Sequent: | Type: |
|---|---|---|
| gen | char generated by `a`, `b`, `c`, `d`, `e`, `f`, `g`, `h`, `i`, `j`, `k`, `l`, `m`, `n`, `o`, `p`, `q`, `r`, `s`, `t`, `u`, `v`, `w`, `x`, `y`, `z`, `A`, `B`, `C`, `D`, `E`, `F`, `G`, `H`, `I`, `J`, `K`, `L`, `M`, `N`, `O`, `P`, `Q`, `R`, `S`, `T`, `U`, `V`, `W`, `X`, `Y`, `Z`, `!`, `@`, `#`, `$`, `%`, `^`, `&`, `*`, `_`, `-`, `+`, `=`, `~`, `<`, `>`, `?`, `.`, `:`, `/`, `|`, `0`, `1`, `2`, `3`, `4`, `5`, `6`, `7`, `8`, `9`, `(`, `)`, `[`, `]`, ` ` ; | An Axiom |