| Fri, 13 May 2011 22:55:00 +0200 |
proper Proof.context for classical tactics;
|
file | diff | annotate |
| Sun, 28 Feb 2010 22:30:51 +0100 |
more antiquotations;
|
file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
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 |
| Mon, 16 Mar 2009 18:24:30 +0100 |
simplified method setup;
|
file | diff | annotate |
| Fri, 13 Mar 2009 19:58:26 +0100 |
unified type Proof.method and pervasive METHOD combinators;
|
file | diff | annotate |
| Sun, 07 Oct 2007 21:19:31 +0200 |
modernized specifications;
|
file | diff | annotate |
| Sun, 29 Jul 2007 14:30:07 +0200 |
replaced program_defs_ref by proper context data (via attribute "program");
|
file | diff | annotate |
| Sat, 21 Jul 2007 23:25:00 +0200 |
tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.);
|
file | diff | annotate |
| Tue, 03 Jul 2007 17:17:17 +0200 |
rewrite_goal_tac;
|
file | diff | annotate |
| Thu, 07 Dec 2006 00:42:04 +0100 |
reorganized structure Goal vs. Tactic;
|
file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 |
simplified method setup;
|
file | diff | annotate |
| Thu, 02 Jun 2005 13:17:06 +0200 |
renamed "constrains" to "safety" to avoid keyword clash
|
file | diff | annotate |
| Mon, 28 Mar 2005 16:19:56 +0200 |
conversion of UNITY to Isar scripts
|
file | diff | annotate |
| Tue, 27 May 2003 11:39:03 +0200 |
updating ZF-UNITY with Sidi's new material
|
file | diff | annotate |
| Thu, 15 Nov 2001 15:07:16 +0100 |
*** empty log message ***
|
file | diff | annotate |
| Wed, 08 Aug 2001 14:33:10 +0200 |
new ZF/UNITY theory
|
file | diff | annotate |