src/HOL/Matrix_LP/Compute_Oracle/compute.ML
Sat, 30 Dec 2023 21:35:00 +0100 wenzelm clarified signature;
Wed, 18 Oct 2023 15:13:52 +0200 wenzelm clarified signature: more concise variations on implicit theory setup;
Tue, 18 Apr 2023 12:23:37 +0200 wenzelm backout 4a174bea55e2;
Mon, 17 Apr 2023 23:32:46 +0200 wenzelm revert b43ee37926a9 due to problems with AFP/PAPP_Impossibility;
Mon, 10 Apr 2023 22:38:18 +0200 wenzelm performance tuning: replace Ord_List by Set();
Tue, 28 Mar 2023 17:59:54 +0200 wenzelm prefer Sortset.T for shyps;
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
less more (0) -10 -7 tip