| Thu, 05 Apr 2007 00:30:31 +0200 | wenzelm | added thy_ord -- order of creation; | changeset | files |
| Wed, 04 Apr 2007 23:29:42 +0200 | wenzelm | simplified thy_deps using Theory.ancestors_of (in order of creation); | changeset | files |
| Wed, 04 Apr 2007 23:29:41 +0200 | wenzelm | renamed Variable.importT to importT_thms; | changeset | files |
| Wed, 04 Apr 2007 23:29:40 +0200 | wenzelm | removed unused dep_graph; | changeset | files |
| Wed, 04 Apr 2007 23:29:39 +0200 | wenzelm | theory: maintain ancestors in order of creation; | changeset | files |
| Wed, 04 Apr 2007 23:29:38 +0200 | wenzelm | rep_thm/cterm/ctyp: removed obsolete sign field; | changeset | files |
| Wed, 04 Apr 2007 23:29:37 +0200 | wenzelm | rebind HOL.refl as refl (hidden by widen.refl); | changeset | files |