diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:56:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 02:56:49 -0300 |
| commit | 97dc56016bd0c7ddea4445c5ea5978220cc9e776 (patch) | |
| tree | a551c25abdbd110347b4cba5942028a7f46200cb /lib/kernel/Multigroup.ml | |
| parent | b42d12cfc0b663085bd5ae9e5e2d491e727e731e (diff) | |
| download | RNT-97dc56016bd0c7ddea4445c5ea5978220cc9e776.tar.gz RNT-97dc56016bd0c7ddea4445c5ea5978220cc9e776.zip | |
clearer names in fol, merging restrictions as they sink
Diffstat (limited to 'lib/kernel/Multigroup.ml')
0 files changed, 0 insertions, 0 deletions