Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
Wed, 15 Feb 2012 23:19:30 +0100 | wenzelm | renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic; | file | diff | annotate |
Wed, 24 Aug 2011 09:23:26 -0700 | huffman | delete commented-out dead code | file | diff | annotate |
Mon, 22 Aug 2011 16:49:45 -0700 | huffman | comment out dead code to avoid compiler warnings | file | diff | annotate |
Mon, 02 May 2011 16:33:21 +0200 | wenzelm | added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; | file | diff | annotate |
Mon, 10 Jan 2011 15:30:17 +0100 | wenzelm | eliminated obsolete LargeInt -- Int is unbounded; | file | diff | annotate |
Sat, 08 Jan 2011 17:39:51 +0100 | wenzelm | renamed Sum_Of_Squares to Sum_of_Squares; | file | diff | annotate | base |