lib/html/library_index_footer.template
author huffman
Fri, 30 Mar 2012 16:44:23 +0200
changeset 47228 4f4d85c3516f
parent 25235 04cb7e02ca38
permissions -rw-r--r--
load Tools/numeral.ML in Num.thy
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25235
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     1
</body>
04cb7e02ca38 split library index into templates
haftmann
parents:
diff changeset
     2
</html>