#
aa9f83cb |
|
09-Jan-2018 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Standard and experimental kernels now share Thm.sml implementation It should now be possible to have the logging kernel work over either implementation of terms, and to delete its copy of Type, Term etc.
|