paulson <lp15@cam.ac.uk> [Tue, 03 Jan 2023 11:30:37 +0000] rev 76876
Fixed a couple of simple_path occurrences
paulson [Mon, 02 Jan 2023 20:47:09 +0000] rev 76875
merged
paulson <lp15@cam.ac.uk> [Mon, 02 Jan 2023 20:46:24 +0000] rev 76874
Tidying up of paths, introducing "loop_free" as a separate predicate in the definition of "simple_path"
wenzelm [Mon, 02 Jan 2023 20:39:21 +0100] rev 76873
clarified signature: more explicit types;
wenzelm [Mon, 02 Jan 2023 20:24:43 +0100] rev 76872
more robust: prefer internal theory names;
wenzelm [Mon, 02 Jan 2023 16:02:16 +0100] rev 76871
clarified session_sources (again, see also 9d0e6ea7aa68);
wenzelm [Mon, 02 Jan 2023 15:41:50 +0100] rev 76870
clarified signature: more explicit types;
wenzelm [Mon, 02 Jan 2023 15:30:57 +0100] rev 76869
tuned output;
wenzelm [Mon, 02 Jan 2023 15:28:33 +0100] rev 76868
clarified signature: more general operations;
wenzelm [Mon, 02 Jan 2023 15:18:13 +0100] rev 76867
clarified signature: more explicit types;