Johannes Kanig 25b13e2cab merge commit

2025-12-15 10:45:08 +09:00

..

Cardinal.v

Fix coq realizations

2025-11-20 14:11:25 +01:00

Fset.v

update headers

2025-06-04 10:51:30 +02:00

FsetInduction.v

update headers

2025-06-04 10:51:30 +02:00

FsetInt.v

update headers

2025-06-04 10:51:30 +02:00

FsetSum.v

update headers

2025-06-04 10:51:30 +02:00

Set.v

Merge 1.8.2 into AdaCore master

2025-10-14 10:32:03 +09:00

SetApp.v

update headers

2025-06-04 10:51:30 +02:00

SetAppInt.v

Merge branch 'bugfix/v1.8'

2025-06-04 11:10:16 +02:00

SetImp.v

update headers

2025-06-04 10:51:30 +02:00

SetImpInt.v

update headers

2025-06-04 10:51:30 +02:00