History log of /hets/Isabelle/export/pretty.sh
Revision Date Author Comments Expand
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