summaryrefslogtreecommitdiff
path: root/tests/examplefiles/example.thy
Commit message (Collapse)AuthorAgeFilesLines
* Remove all files, redirect to GitHub.HEADmasterMatth?us G. Chajdas2019-11-101-751/+0
|
* basic lexer for Isabelle/HOL theorem provergerwin klein2014-07-311-0/+751