Check-in [c82ab7e9b6]

Not logged in

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Changed the way the induction tactic handles repeated use (previous IHs are just ignored).
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:c82ab7e9b66e535198767d5b5c3640dff6d36582
User & Date: andy 2015-04-14 20:19:03
Context
2015-04-14
20:21
Added `passist` Pengine application to the server. This runs the live demo of the proof assistant. check-in: 3a093317cf user: andy tags: trunk
20:19
Changed the way the induction tactic handles repeated use (previous IHs are just ignored). check-in: c82ab7e9b6 user: andy tags: trunk
14:01
Added screenshot of the REPL UI. check-in: 2656521773 user: andy tags: trunk
Changes
Unified Diffs Side-by-Side Diffs Patch

Changes to plsrc/checker.pl.