History log of /hets/Isabelle/export/examples/Class.thy
Revision Date Author Comments Expand
b2ffbb0cced4c2e4cc1ec3266847881a17f32d34 28-Jun-2012 Jonathan von Schroeder <sternkinder@gmail.com>

added support for importing classes git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16988 cec4b9c1-7d33-0410-9eda-942365e851bb
255a89789d3d5b19f6a8c96bf6c260a96158ef6d 28-Jun-2012 Jonathan von Schroeder <sternkinder@gmail.com>

Restructured export_helper.ML git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16987 cec4b9c1-7d33-0410-9eda-942365e851bb