| Wed, 12 Apr 2000 23:49:10 +0200 | wenzelm | tuned \isasymlbrace; | changeset | files |
| Wed, 12 Apr 2000 23:47:47 +0200 | wenzelm | 'insts' syntax; | changeset | files |
| Wed, 12 Apr 2000 23:46:06 +0200 | wenzelm | improved 'induct(_tac)' syntax; | changeset | files |
| Wed, 12 Apr 2000 23:45:21 +0200 | wenzelm | added 'insert' method; | changeset | files |
| Wed, 12 Apr 2000 23:45:01 +0200 | wenzelm | added inst, insts; | changeset | files |
| Wed, 12 Apr 2000 18:53:20 +0200 | wenzelm | improved induct_tac; | changeset | files |
| Wed, 12 Apr 2000 18:53:09 +0200 | wenzelm | induct stripped: match_tac; | changeset | files |