History log of /hets/Isabelle/export/examples/Instantiation.thy
Revision Date Author Comments Expand
6c871203b5e72e818f1d3de1ce767d675fbe8cfe 24-Sep-2013 Jonathan von Schroeder <sternkinder@gmail.com>

added new examples git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18269 cec4b9c1-7d33-0410-9eda-942365e851bb