isabelle: Changelog

wenzelm [Thu, 20 Apr 2023 12:44:19 +0200] rev 77891

prefer theory_long_name in data;

wenzelm [Thu, 20 Apr 2023 12:23:41 +0200] rev 77890

proper theory_long_name;

wenzelm [Thu, 20 Apr 2023 11:57:34 +0200] rev 77889

clarified signature: explicitly distinguish theory_base_name vs. theory_long_name;

wenzelm [Wed, 19 Apr 2023 23:27:55 +0200] rev 77888

tuned;

wenzelm [Wed, 19 Apr 2023 23:27:33 +0200] rev 77887

more operations, following Isabelle/ML conventions;

wenzelm [Wed, 19 Apr 2023 23:04:26 +0200] rev 77886

clarified theory_id: plain value without state;

haftmann [Wed, 19 Apr 2023 18:22:37 +0000] rev 77885

tuned

haftmann [Wed, 19 Apr 2023 18:21:30 +0000] rev 77884

clarified terminology

wenzelm [Wed, 19 Apr 2023 14:48:43 +0200] rev 77883

minor performance tuning: recursive check of pointer_eq;

wenzelm [Wed, 19 Apr 2023 14:29:52 +0200] rev 77882

minor performance tuning: avoid excessive (de)constructions for base cases;

isabelle