http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&action=history Revision history for this page on the wiki en MediaWiki 1.12.0 Wed, 19 Jun 2013 23:35:42 GMT http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=32473&oldid=prev <p></p> Sun, 13 Dec 2009 08:23:52 GMT Newacct http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9849&oldid=prev <p></p> Mon, 01 Jan 2007 08:51:31 GMT CaleGibbard http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9676&oldid=prev <p>Spelling and format</p> Fri, 22 Dec 2006 17:11:51 GMT BrettGiles http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9674&oldid=prev <p>Short theorum prover moved to Short theorem prover</p> Fri, 22 Dec 2006 17:06:39 GMT BrettGiles http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9665&oldid=prev <p>cat:code</p> Fri, 22 Dec 2006 02:09:26 GMT Stefan http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9664&oldid=prev <p>found one more tweak, down to 590 ch</p> Fri, 22 Dec 2006 02:08:56 GMT Stefan http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover http://www.haskell.org/haskellwiki/index.php?title=Short_theorem_prover&diff=9663&oldid=prev <p>625 *character* theroum prover, and dissection (FIXME: looking like haddocks)</p> Fri, 22 Dec 2006 02:04:56 GMT Stefan http://www.haskell.org/haskellwiki/Talk:Short_theorem_prover