desharna [Wed, 26 Jan 2022 16:49:56 +0100] rev 75427
removed unused parameter following f9908452b282
blanchet [Wed, 26 Jan 2022 09:46:53 +0100] rev 75426
treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
blanchet [Tue, 25 Jan 2022 16:04:50 +0100] rev 75425
treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis)
paulson <lp15@cam.ac.uk> [Tue, 25 Jan 2022 14:13:33 +0000] rev 75424
fixed dodgy intro! attributes
desharna [Tue, 25 Jan 2022 09:57:44 +0100] rev 75423
merged
wenzelm [Mon, 24 Jan 2022 21:29:37 +0100] rev 75422
updated to polyml-test-15c840d48c9a;
wenzelm [Sat, 22 Jan 2022 13:00:03 +0100] rev 75421
some updates and clarification on Assumption.export_term;
desharna [Sat, 22 Jan 2022 14:33:35 +0100] rev 75420
optimized facts traversal in TPTP translation
desharna [Sat, 22 Jan 2022 14:33:35 +0100] rev 75419
optimized facts traversal in TPTP translation
desharna [Sat, 22 Jan 2022 14:00:36 +0100] rev 75418
optimized app_op_level selection in TPTP generation