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