Thu, 23 Jul 2009 14:03:20 +0000 |
convert-repo |
update tags
default tip
|
changeset |
files
|
Fri, 19 Jan 1996 12:50:08 +0100 |
clasohm |
removed them again
|
changeset |
files
|
Fri, 19 Jan 1996 12:49:36 +0100 |
clasohm |
accidentally deleted these files from the repository; now adding them and
|
changeset |
files
|
Fri, 19 Jan 1996 12:27:42 +0100 |
clasohm |
Old_HOL removed from the distribution
|
changeset |
files
|
Tue, 24 Oct 1995 14:59:17 +0100 |
clasohm |
added calls of init_html and make_chart
Isabelle94-5
|
changeset |
files
|
Thu, 29 Jun 1995 12:29:58 +0200 |
clasohm |
changed HOL to Old_HOL
Isabelle94-4
|
changeset |
files
|
Wed, 21 Jun 1995 15:12:40 +0200 |
clasohm |
removed \...\ inside strings
|
changeset |
files
|
Fri, 14 Apr 1995 11:23:33 +0200 |
lcp |
Simplified some proofs and made them work for new hyp_subst_tac.
Isabelle94-3
|
changeset |
files
|
Thu, 06 Apr 1995 11:52:05 +0200 |
lcp |
Removed the "exit 1" calls, since now the
|
changeset |
files
|
Thu, 06 Apr 1995 11:49:42 +0200 |
lcp |
Deleted extra space in clos_mk.
|
changeset |
files
|
... |