diff options
| author | Makarius Wenzel | 1999-09-03 16:23:13 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-09-03 16:23:13 +0000 |
| commit | cd0b425e6c2c89bf65270eead97ded9da4500741 (patch) | |
| tree | d663f534c3f469e4b5d41ebb54deb1d1a9aacc1c /html | |
| parent | 6265bce5bc306b9920c0b5cd527b896c988a58aa (diff) | |
added bind_thms;
added no_qed;
more tacticals;
removed isa-tactics (didn't make much sense);
isa-goal-command-regexp accomodates "val ... =" part;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions