equal
deleted
inserted
replaced
44 |
44 |
45 * antiquotation @{goals} and @{subgoals} for output of *dynamic* goals |
45 * antiquotation @{goals} and @{subgoals} for output of *dynamic* goals |
46 state; Note that presentation of goal states does not conform to |
46 state; Note that presentation of goal states does not conform to |
47 actual human-readable proof documents. Please do not include goal |
47 actual human-readable proof documents. Please do not include goal |
48 states into document output unless you really know what you are doing! |
48 states into document output unless you really know what you are doing! |
|
49 |
|
50 * isatool unsymbolize tunes sources for plain ASCII communication; |
49 |
51 |
50 |
52 |
51 *** Isar *** |
53 *** Isar *** |
52 |
54 |
53 * Pure: Isar now suffers initial goal statements to contain unbound |
55 * Pure: Isar now suffers initial goal statements to contain unbound |