Skip to content
Snippets Groups Projects
Commit 0b549765 authored by Heiko Becker's avatar Heiko Becker
Browse files

Renaming in HOL4

parent 32c654be
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 365 additions and 383 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment