Garrett Mills 85a315ee5a Start example GCDT for Int

2022-12-13 11:28:43 -06:00

..

gcdt2_int.als

Start example GCDT for Int

2022-12-13 11:28:43 -06:00

gcdt2.als

Start reworking GCDT alloy theory

2022-12-12 18:24:32 -06:00

gcdt_int.als

More tweaks to alloy theories

2022-12-12 17:32:37 -06:00

gcdt.als

More tweaks to alloy theories

2022-12-12 17:32:37 -06:00