| Thu, 26 Aug 2010 20:51:17 +0200 |
formerly unnamed infix impliciation now named HOL.implies
|
file | diff | annotate |
| Mon, 12 Jul 2010 18:59:38 +0200 |
some modernization of really ancient Meson experiments;
|
file | diff | annotate |
| Mon, 28 Jun 2010 15:32:06 +0200 |
dropped ancient infix mem; refined code generation operations in List.thy
|
file | diff | annotate |
| Fri, 11 Jun 2010 16:52:17 +0200 |
hide sum explicitly
|
file | diff | annotate |
| Wed, 26 May 2010 15:34:47 +0200 |
hide constants and types introduced by SMT,
|
file | diff | annotate |
| Thu, 13 May 2010 15:09:42 +0200 |
Fix syntax; apparently constant apply was introduced in an earlier changeset.
|
file | diff | annotate |
| Fri, 16 Apr 2010 21:28:09 +0200 |
replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
|
file | diff | annotate |
| Wed, 29 Jul 2009 19:35:10 +0200 |
Meson.first_order_resolve: avoid handle _;
|
file | diff | annotate |
| Fri, 24 Jul 2009 22:09:09 +0200 |
do not open OldGoals;
|
file | diff | annotate |
| Fri, 24 Jul 2009 21:02:34 +0200 |
explicit OldGoals;
|
file | diff | annotate |
| Wed, 22 Jul 2009 14:20:32 +0200 |
set intersection and union now named inter and union; closer connection between set and lattice operations; factored out complete lattice
|
file | diff | annotate |
| Tue, 22 Apr 2008 08:33:16 +0200 |
constant HOL.eq now qualified
|
file | diff | annotate |
| Wed, 02 Apr 2008 15:58:32 +0200 |
explicit class "eq" for operational equality
|
file | diff | annotate |
| Wed, 06 Feb 2008 12:51:23 +0100 |
between constant removed
|
file | diff | annotate |
| Mon, 21 Jan 2008 14:18:49 +0100 |
Removed Logic.auto_rename.
|
file | diff | annotate |
| Mon, 20 Aug 2007 18:07:28 +0200 |
turned locales intro classes
|
file | diff | annotate |
| Fri, 17 Aug 2007 00:03:50 +0200 |
proper signature for Meson;
|
file | diff | annotate |
| Thu, 02 Aug 2007 23:18:13 +0200 |
reset Logic.auto_rename;
|
file | diff | annotate |
| Thu, 02 Aug 2007 16:12:02 +0200 |
tuned;
|
file | diff | annotate |
| Thu, 02 Aug 2007 15:44:37 +0200 |
converted Meson tests to proper theory;
|
file | diff | annotate |