isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Sun, 06 Apr 2003 21:14:02 +0200 run on sunbroy1, too

changeset

kleing [Sun, 06 Apr 2003 21:14:02 +0200] rev 13900

run on sunbroy1, too

Sun, 06 Apr 2003 10:08:52 +0200 *** empty log message ***

changeset

nipkow [Sun, 06 Apr 2003 10:08:52 +0200] rev 13899

*** empty log message ***

Sat, 05 Apr 2003 22:14:04 +0200 Map.empty is now a translation

changeset

nipkow [Sat, 05 Apr 2003 22:14:04 +0200] rev 13898

Map.empty is now a translation

Sat, 05 Apr 2003 17:25:06 +0200 cleanup, mark old (<1994) deleted files as dead

changeset

kleing [Sat, 05 Apr 2003 17:25:06 +0200] rev 13897

cleanup, mark old (<1994) deleted files as dead

Sat, 05 Apr 2003 17:03:38 +0200 cleanup, mark old (<1994) deleted files as dead

changeset

kleing [Sat, 05 Apr 2003 17:03:38 +0200] rev 13896

cleanup, mark old (<1994) deleted files as dead

Sat, 05 Apr 2003 16:24:20 +0200 cleanup, mark old (<1994) deleted files as dead

changeset

kleing [Sat, 05 Apr 2003 16:24:20 +0200] rev 13895

cleanup, mark old (<1994) deleted files as dead

Sat, 05 Apr 2003 16:18:58 +0200 cleanup, mark old (<1994) deleted files as dead

changeset

kleing [Sat, 05 Apr 2003 16:18:58 +0200] rev 13894

cleanup, mark old (<1994) deleted files as dead

Sat, 05 Apr 2003 16:00:00 +0200 removed since 1994 or earlier

changeset

kleing [Sat, 05 Apr 2003 16:00:00 +0200] rev 13893

removed since 1994 or earlier

Fri, 04 Apr 2003 17:01:12 +0200 Fixed bug in eta_long.

changeset

berghofe [Fri, 04 Apr 2003 17:01:12 +0200] rev 13892

Fixed bug in eta_long.

Fri, 04 Apr 2003 17:00:25 +0200 type_of_G now applies type substitution before decomposing type.

changeset

berghofe [Fri, 04 Apr 2003 17:00:25 +0200] rev 13891

type_of_G now applies type substitution before decomposing type.

Tue, 01 Apr 2003 17:43:10 +0200 Made empty a translation rather than a constant.

changeset

nipkow [Tue, 01 Apr 2003 17:43:10 +0200] rev 13890

Made empty a translation rather than a constant.

Tue, 01 Apr 2003 16:08:34 +0200 Fixed Coset.thy (proved theorem factorgroup_is_group).

changeset

ballarin [Tue, 01 Apr 2003 16:08:34 +0200] rev 13889

Fixed Coset.thy (proved theorem factorgroup_is_group).

Mon, 31 Mar 2003 12:29:54 +0200 more comments and tweaks

changeset

paulson [Mon, 31 Mar 2003 12:29:54 +0200] rev 13888

more comments and tweaks

Mon, 31 Mar 2003 12:29:26 +0200 tidied

changeset

paulson [Mon, 31 Mar 2003 12:29:26 +0200] rev 13887

tidied

Sat, 29 Mar 2003 12:28:53 +0100 Margin for pretty-printing is now a mutable reference.

changeset

berghofe [Sat, 29 Mar 2003 12:28:53 +0100] rev 13886

Margin for pretty-printing is now a mutable reference.

Wed, 26 Mar 2003 12:25:56 +0100 Proofs for section 4.5.3

changeset

paulson [Wed, 26 Mar 2003 12:25:56 +0100] rev 13885

Proofs for section 4.5.3

Tue, 25 Mar 2003 10:03:11 +0100 Added show_brackets to settings menu.

changeset

berghofe [Tue, 25 Mar 2003 10:03:11 +0100] rev 13884

Added show_brackets to settings menu.

Tue, 25 Mar 2003 09:58:51 +0100 Re-structured some proofs in order to get rid of rule_format attribute.

changeset

berghofe [Tue, 25 Mar 2003 09:58:51 +0100] rev 13883

Re-structured some proofs in order to get rid of rule_format attribute.

Tue, 25 Mar 2003 09:56:01 +0100 New theorems split_div' and mod_div_equality'.

changeset

berghofe [Tue, 25 Mar 2003 09:56:01 +0100] rev 13882

New theorems split_div' and mod_div_equality'.

Tue, 25 Mar 2003 09:52:21 +0100 Presburger arithmetic

changeset

berghofe [Tue, 25 Mar 2003 09:52:21 +0100] rev 13881

Presburger arithmetic

Tue, 25 Mar 2003 09:50:53 +0100 Added examples for Presburger arithmetic.

changeset

berghofe [Tue, 25 Mar 2003 09:50:53 +0100] rev 13880

Added examples for Presburger arithmetic.

Tue, 25 Mar 2003 09:49:45 +0100 Added decision procedure for Presburger arithmetic.

changeset

berghofe [Tue, 25 Mar 2003 09:49:45 +0100] rev 13879

Added decision procedure for Presburger arithmetic.

Tue, 25 Mar 2003 09:49:13 +0100 Added Presburger theory.

changeset

berghofe [Tue, 25 Mar 2003 09:49:13 +0100] rev 13878

Added Presburger theory.

Tue, 25 Mar 2003 09:48:38 +0100 Added hook for presburger arithmetic decision procedure.

changeset

berghofe [Tue, 25 Mar 2003 09:48:38 +0100] rev 13877

Added hook for presburger arithmetic decision procedure.

Tue, 25 Mar 2003 09:47:05 +0100 New decision procedure for Presburger arithmetic.

changeset

berghofe [Tue, 25 Mar 2003 09:47:05 +0100] rev 13876

New decision procedure for Presburger arithmetic.

Sun, 23 Mar 2003 11:57:07 +0100 *** empty log message ***

changeset

nipkow [Sun, 23 Mar 2003 11:57:07 +0100] rev 13875

*** empty log message ***

Fri, 21 Mar 2003 18:16:18 +0100 More on progress sets

changeset

paulson [Fri, 21 Mar 2003 18:16:18 +0100] rev 13874