src/Pure/bires.ML
Sun, 06 Jul 2025 14:53:20 +0200 wenzelm clarified signature: more explicit type Bires.kind;
Sun, 06 Jul 2025 11:33:23 +0200 wenzelm just one type Bires.netpair, based on Bires.tag with explicit weight;
Sat, 05 Jul 2025 16:19:23 +0200 wenzelm misc tuning and clarification;
Sat, 05 Jul 2025 16:12:48 +0200 wenzelm tuned signature: do not expose private operation;
Sat, 05 Jul 2025 16:01:40 +0200 wenzelm minor performance tuning;
Sat, 05 Jul 2025 15:53:52 +0200 wenzelm clarified modules;
Sat, 05 Jul 2025 15:03:26 +0200 wenzelm clarified signature;
Sat, 05 Jul 2025 14:39:24 +0200 wenzelm tuned signature: more explicit types;
Sat, 05 Jul 2025 14:19:45 +0200 wenzelm clarified modules: explicit structure Bires;
less more (0) tip