-
MARCHE Claude authored
Added support for new datatype package and records Also added diagnostic functions for displaying timing information and unrealized axioms
aec436a8
Added support for new datatype package and records Also added diagnostic functions for displaying timing information and unrealized axioms