Diffusion afp-devel 2f1b5352ff77

more rules for FOL also
2f1b5352ff77
Actions

Tags

None

Subscribers

None

Description

more rules for FOL also

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPcce073a27f08: more simp rules

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP2f1b5352ff77: more rules for FOL also.Jun 4 2020, 5:30 PM

Empty Commit

This commit is empty and does not affect any paths.