Diffusion afp-devel 4d493338c3a7

activate simproc for FOL
4d493338c3a7
Actions

Tags

None

Subscribers

None

Description

activate simproc for FOL

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP2f1b5352ff77: more rules for FOL also

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP4d493338c3a7: activate simproc for FOL.Jun 4 2020, 5:30 PM

Empty Commit

This commit is empty and does not affect any paths.