| Thu, 26 Aug 2010 17:01:12 +0200 |
theory data merge: prefer left side uniformly;
|
file | diff | annotate |
| Wed, 28 Apr 2010 11:52:04 +0200 |
default termination prover as plain tactic
|
file | diff | annotate |
| Sun, 07 Mar 2010 11:57:16 +0100 |
modernized structure Local_Defs;
|
file | diff | annotate |
| Sat, 02 Jan 2010 23:18:58 +0100 |
absorb structures Decompose and Descent into Termination, to simplify further restructuring
|
file | diff | annotate |
| Mon, 23 Nov 2009 15:05:59 +0100 |
eliminated dead code and some unused bindings, reported by polyml
|
file | diff | annotate |
| Tue, 10 Nov 2009 13:54:00 +0100 |
merged, and renamed local "TheoryData" to "Data" (following common Isabelle conventions)
|
file | diff | annotate |
| Thu, 05 Nov 2009 11:58:36 +0100 |
merged
|
file | diff | annotate |
| Thu, 29 Oct 2009 15:16:54 +0100 |
make "sizechange_tac" slightly less verbose
|
file | diff | annotate |
| Sun, 08 Nov 2009 18:43:42 +0100 |
adapted Theory_Data;
|
file | diff | annotate |
| Fri, 06 Nov 2009 13:36:46 +0100 |
renamed method sizechange to size_change
|
file | diff | annotate |
| Fri, 30 Oct 2009 01:32:06 +0100 |
less verbose termination tactics
|
file | diff | annotate |
| Fri, 23 Oct 2009 16:22:10 +0200 |
function package: more standard names for structures and files
|
file | diff | annotate |
| Thu, 22 Oct 2009 13:48:06 +0200 |
map_range (and map_index) combinator
|
file | diff | annotate |
| Wed, 21 Oct 2009 10:15:31 +0200 |
removed old-style \ and \\ infixes
|
file | diff | annotate |
| Thu, 15 Oct 2009 23:28:10 +0200 |
replaced String.concat by implode;
|
file | diff | annotate |
| Thu, 15 Oct 2009 21:28:39 +0200 |
normalized aliases of Output operations;
|
file | diff | annotate |
| Thu, 23 Jul 2009 18:44:09 +0200 |
renamed simpset_of to global_simpset_of, and local_simpset_of to simpset_of -- same for claset and clasimpset;
|
file | diff | annotate |
| Thu, 02 Jul 2009 17:34:14 +0200 |
renamed NamedThmsFun to Named_Thms;
|
file | diff | annotate |
| Tue, 23 Jun 2009 12:09:30 +0200 |
uniformly capitialized names for subdirectories
|
file | diff | annotate | base |