Libraries and tools/Theorem provers - Revision history http://www.haskell.org/haskellwiki/index.php?title=Libraries_and_tools/Theorem_provers&action=history Revision history for this page on the wiki en MediaWiki 1.12.0 Thu, 23 May 2013 00:57:17 GMT ARG: Libraries and tools/Theorem provers moved to Applications and libraries/Theorem provers: Moving subpages of Libraries and tools to Applications and libraries, after renaming of the parent pages. http://www.haskell.org/haskellwiki/index.php?title=Libraries_and_tools/Theorem_provers&diff=12783&oldid=prev <p>Libraries and tools/Theorem provers moved to Applications and libraries/Theorem provers: Moving subpages of <a href="/haskellwiki/Libraries_and_tools" class="mw-redirect" title="Libraries and tools">Libraries and tools</a> to <a href="/haskellwiki/Applications_and_libraries" title="Applications and libraries">Applications and libraries</a>, after renaming of the parent pages.</p> Wed, 02 May 2007 18:29:16 GMT ARG http://www.haskell.org/haskellwiki/Talk:Libraries_and_tools/Theorem_provers