Skip to content
Snippets Groups Projects
Commit d954205b authored by Lars Hupel's avatar Lars Hupel
Browse files

Isabelle: test case for natural numbers & lists

parent 4f975ded
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment