isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

Wed, 24 Jan 2001 17:53:01 +0100 debugging and extensions

oheimb [Wed, 24 Jan 2001 17:53:01 +0100] rev 10972

debugging and extensions

Wed, 24 Jan 2001 12:29:10 +0100 *** empty log message ***

nipkow [Wed, 24 Jan 2001 12:29:10 +0100] rev 10971

*** empty log message ***

Wed, 24 Jan 2001 11:59:15 +0100 *** empty log message ***

nipkow [Wed, 24 Jan 2001 11:59:15 +0100] rev 10970

*** empty log message ***

Wed, 24 Jan 2001 00:06:32 +0100 no_brackets;

wenzelm [Wed, 24 Jan 2001 00:06:32 +0100] rev 10969

no_brackets;

Tue, 23 Jan 2001 18:17:14 +0100 tuned;

wenzelm [Tue, 23 Jan 2001 18:17:14 +0100] rev 10968

tuned;

Tue, 23 Jan 2001 18:13:00 +0100 arg_cong, tacticals, pr, defer, prefer

paulson [Tue, 23 Jan 2001 18:13:00 +0100] rev 10967

arg_cong, tacticals, pr, defer, prefer

Tue, 23 Jan 2001 18:05:53 +0100 added HOL-Unix example;

wenzelm [Tue, 23 Jan 2001 18:05:53 +0100] rev 10966

added HOL-Unix example;

Tue, 23 Jan 2001 15:48:35 +0100 2 to #2

paulson [Tue, 23 Jan 2001 15:48:35 +0100] rev 10965

2 to #2

Tue, 23 Jan 2001 15:47:36 +0100 the 0<n premise was unnecessary

paulson [Tue, 23 Jan 2001 15:47:36 +0100] rev 10964

the 0<n premise was unnecessary

Tue, 23 Jan 2001 15:46:25 +0100 added a "pr" example; tidied

paulson [Tue, 23 Jan 2001 15:46:25 +0100] rev 10963

added a "pr" example; tidied

Mon, 22 Jan 2001 17:26:19 +0100 deleted several obsolete lemmas from NatArith.ML

paulson [Mon, 22 Jan 2001 17:26:19 +0100] rev 10962

deleted several obsolete lemmas from NatArith.ML

Mon, 22 Jan 2001 11:46:25 +0100 tidied using arith_tac

paulson [Mon, 22 Jan 2001 11:46:25 +0100] rev 10961

tidied using arith_tac

Mon, 22 Jan 2001 11:45:57 +0100 deleted obsolete theorems

paulson [Mon, 22 Jan 2001 11:45:57 +0100] rev 10960

deleted obsolete theorems

Mon, 22 Jan 2001 11:45:29 +0100 tided

paulson [Mon, 22 Jan 2001 11:45:29 +0100] rev 10959

tided

Mon, 22 Jan 2001 11:02:53 +0100 arg_cong example; tidying to use @subgoals

paulson [Mon, 22 Jan 2001 11:02:53 +0100] rev 10958

arg_cong example; tidying to use @subgoals

Mon, 22 Jan 2001 11:01:49 +0100 rename_tac example; tidying to use @subgoals

paulson [Mon, 22 Jan 2001 11:01:49 +0100] rev 10957

rename_tac example; tidying to use @subgoals

Mon, 22 Jan 2001 11:01:05 +0100 new examples theory Rules/Tacticals.thy

paulson [Mon, 22 Jan 2001 11:01:05 +0100] rev 10956

new examples theory Rules/Tacticals.thy

Sun, 21 Jan 2001 19:55:25 +0100 setuo indent: \isaindent;

wenzelm [Sun, 21 Jan 2001 19:55:25 +0100] rev 10955

setuo indent: \isaindent;

Sun, 21 Jan 2001 19:54:52 +0100 setup indent;

wenzelm [Sun, 21 Jan 2001 19:54:52 +0100] rev 10954

setup indent;

Sun, 21 Jan 2001 19:54:05 +0100 added spaces;

wenzelm [Sun, 21 Jan 2001 19:54:05 +0100] rev 10953

added spaces; added default_indent, indent;

Sun, 21 Jan 2001 19:53:29 +0100 support general indentation (e.g. for non-tt latex output);

wenzelm [Sun, 21 Jan 2001 19:53:29 +0100] rev 10952

support general indentation (e.g. for non-tt latex output); tuned;

Sun, 21 Jan 2001 19:52:32 +0100 added replicate_string;

wenzelm [Sun, 21 Jan 2001 19:52:32 +0100] rev 10951

added replicate_string;

Sun, 21 Jan 2001 19:50:43 +0100 updated;

wenzelm [Sun, 21 Jan 2001 19:50:43 +0100] rev 10950

updated;

Sun, 21 Jan 2001 13:21:14 +0100 \isaindent;

wenzelm [Sun, 21 Jan 2001 13:21:14 +0100] rev 10949

\isaindent;

Sat, 20 Jan 2001 00:35:35 +0100 tuned;

wenzelm [Sat, 20 Jan 2001 00:35:35 +0100] rev 10948

tuned;

Sat, 20 Jan 2001 00:35:10 +0100 Ring_and_Field_Example;

wenzelm [Sat, 20 Jan 2001 00:35:10 +0100] rev 10947

Ring_and_Field_Example;

Sat, 20 Jan 2001 00:34:46 +0100 instance int :: ordered_ring moved to Ring_and_Field_Example, because

wenzelm [Sat, 20 Jan 2001 00:34:46 +0100] rev 10946

instance int :: ordered_ring moved to Ring_and_Field_Example, because it changes the way that int expressions get simplified, violating the strict library principle (cf. README.html);

Sat, 20 Jan 2001 00:32:56 +0100 added Library/Ring_and_Field_Example.thy;

wenzelm [Sat, 20 Jan 2001 00:32:56 +0100] rev 10945

added Library/Ring_and_Field_Example.thy;

Sat, 20 Jan 2001 00:01:40 +0100 *** empty log message ***

wenzelm [Sat, 20 Jan 2001 00:01:40 +0100] rev 10944

*** empty log message ***

Fri, 19 Jan 2001 23:53:07 +0100 added HOL/Library/Nested_Environment.thy;

wenzelm [Fri, 19 Jan 2001 23:53:07 +0100] rev 10943

added HOL/Library/Nested_Environment.thy;

(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle