wenzelm [Thu, 29 Jun 2000 22:48:08 +0200] rev 9205
improved arrangement of files;
tuned;
wenzelm [Thu, 29 Jun 2000 22:39:57 +0200] rev 9204
tuned rail setup;
some isabelle symbols;
wenzelm [Thu, 29 Jun 2000 22:39:31 +0200] rev 9203
added lbrace, rbrace, atsign;
wenzelm [Thu, 29 Jun 2000 22:39:09 +0200] rev 9202
added \indexisarant;
wenzelm [Thu, 29 Jun 2000 22:38:30 +0200] rev 9201
adapted args of IsarThy.have_theorems_i;
wenzelm [Thu, 29 Jun 2000 22:37:24 +0200] rev 9200
syntax: renamed 'thmname' to 'thmbind';
added subsection{Antiquotations};
wenzelm [Thu, 29 Jun 2000 22:36:45 +0200] rev 9199
facts: support multiple lists of arguments;
method_setup command;
wenzelm [Thu, 29 Jun 2000 22:35:45 +0200] rev 9198
* formal comments (text blocks etc.) in new-style theories may now
contain antiquotations of thm/prop/term/typ to be presented according
to latex print mode; concrete syntax is like this: @{term[show_types]
"f(x) = a + x"};
* Isar: theory command 'method_setup' provides a simple interface for
definining proof methods in ML;
wenzelm [Thu, 29 Jun 2000 22:32:45 +0200] rev 9197
added method_setup;
facts: handle multiple lists of arguments;
wenzelm [Thu, 29 Jun 2000 22:32:08 +0200] rev 9196
facts: handle multiple lists of arguments;