Sun, 13 Feb 2000 20:54:12 +0100 | wenzelm | refine_end; | changeset | files |
Sun, 13 Feb 2000 20:52:58 +0100 | wenzelm | attrib: keyword_symid; | changeset | files |
Thu, 10 Feb 2000 20:54:40 +0100 | wenzelm | \isabellesimplestyle; | changeset | files |
Thu, 10 Feb 2000 20:54:18 +0100 | wenzelm | symid: include single symbolic char; | changeset | files |
Thu, 10 Feb 2000 20:52:59 +0100 | wenzelm | is_symbolic; | changeset | files |
Thu, 10 Feb 2000 13:36:23 +0100 | wenzelm | theorems [elim??] = sym; | changeset | files |
Thu, 10 Feb 2000 13:34:52 +0100 | wenzelm | added easy_setup; | changeset | files |