History log of /hets/Isabelle/export/examples/Function.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
eca83bf7d98670ee4fa52661d2f8222429a4f91a 27-Mar-2013 Jonathan von Schroeder <sternkinder@gmail.com>

read in function definitions git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17835 cec4b9c1-7d33-0410-9eda-942365e851bb