| 1997-04-15 | paulson | Changed penalty from log2 to log3 | changeset | files |
| 1997-04-15 | paulson | An extra call to blast_tac (illustrating a need for type instantiation) | changeset | files |
| 1997-04-15 | paulson | Now puts basic rewrites for lappend & lmap into the simpset | changeset | files |
| 1997-04-15 | paulson | Removed "AddSDs [Scons_inject];" because | changeset | files |
| 1997-04-15 | paulson | Moved expand_case_tac from Auth/Message.ML to simpdata.ML | changeset | files |
| 1997-04-14 | wenzelm | no longer includes ~/.emacs; | changeset | files |
| 1997-04-13 | wenzelm | fixed file name; | changeset | files |
| Loading... | |||