2006-02-07 | wenzelm | added local consts component; | changeset | files |
2006-02-07 | wenzelm | Library.is_equal; | changeset | files |
2006-02-07 | wenzelm | removed obsolete sign_of_cterm; | changeset | files |
2006-02-07 | wenzelm | adapted Sign.infer_types(_simult), Sign.certify_term/prop; | changeset | files |
Loading... |