Skip to content
Snippets Groups Projects
Commit fbfeeb10 authored by sof's avatar sof
Browse files

[project @ 1999-03-01 09:43:37 by sof] 

Remove unused defns, forall and exists.
parent 560a0649
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment