summaryrefslogtreecommitdiff
path: root/src/Library/TermNet.hs
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-08-02 09:37:58 +1000
committerJed Barber <jjbarber@y7mail.com>2012-08-02 09:37:58 +1000
commitea042911e5062d7cecf0ead734c039cae5265b6c (patch)
tree1546b933217b41015dde1de07cec13ad99f7262c /src/Library/TermNet.hs
parentad0d628b1bf333a99238bd2cefc60ec059df3f81 (diff)
Generates a numbered list of theorems in an article file
Diffstat (limited to 'src/Library/TermNet.hs')
0 files changed, 0 insertions, 0 deletions