#
66465004 |
|
27-Feb-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Clean up handling of type_grammar deltas and interaction with Thyops Need a slightly better interface for querying the kernel name signature information for types, and also alter term functions to not return constants that don't have up-to-date types. Now deleting a type doesn't result in broken theories. With a regression test. Closes #179
|