Andrew Reynolds 42e503ba7d More preparation for strict type rules (#8733) ...

This is work towards making equalities and substitutions between terms of equal types.

2022-05-07 02:22:12 +00:00

..

boilerplate.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

CMakeLists.txt

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue4889.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue5074.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

issue6111.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

proj-issue306.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

reset_assertions.py

More preparation for strict type rules (#8733)

2022-05-07 02:22:12 +00:00

sep_log_api.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00

two_solvers.py

Update copyright headers for release 1.0 (#8539)

2022-04-05 20:38:57 +00:00