| Tue, 15 Apr 1997 10:19:14 +0200 | paulson | An extra call to blast_tac (illustrating a need for type instantiation) | changeset | files |
| Tue, 15 Apr 1997 10:18:01 +0200 | paulson | Now puts basic rewrites for lappend & lmap into the simpset | changeset | files |
| Tue, 15 Apr 1997 10:17:15 +0200 | paulson | Removed "AddSDs [Scons_inject];" because | changeset | files |
| Tue, 15 Apr 1997 10:15:09 +0200 | paulson | Moved expand_case_tac from Auth/Message.ML to simpdata.ML | changeset | files |
| Mon, 14 Apr 1997 10:28:21 +0200 | wenzelm | no longer includes ~/.emacs; | changeset | files |
| Sun, 13 Apr 1997 19:16:25 +0200 | wenzelm | fixed file name; | changeset | files |