Thu, 29 Jun 2000 22:39:57 +0200 tuned rail setup;
wenzelm [Thu, 29 Jun 2000 22:39:57 +0200] rev 9204
tuned rail setup; some isabelle symbols;
Thu, 29 Jun 2000 22:39:31 +0200 added lbrace, rbrace, atsign;
wenzelm [Thu, 29 Jun 2000 22:39:31 +0200] rev 9203
added lbrace, rbrace, atsign;
Thu, 29 Jun 2000 22:39:09 +0200 added \indexisarant;
wenzelm [Thu, 29 Jun 2000 22:39:09 +0200] rev 9202
added \indexisarant;
Thu, 29 Jun 2000 22:38:30 +0200 adapted args of IsarThy.have_theorems_i;
wenzelm [Thu, 29 Jun 2000 22:38:30 +0200] rev 9201
adapted args of IsarThy.have_theorems_i;
Thu, 29 Jun 2000 22:37:24 +0200 syntax: renamed 'thmname' to 'thmbind';
wenzelm [Thu, 29 Jun 2000 22:37:24 +0200] rev 9200
syntax: renamed 'thmname' to 'thmbind'; added subsection{Antiquotations};
Thu, 29 Jun 2000 22:36:45 +0200 facts: support multiple lists of arguments;
wenzelm [Thu, 29 Jun 2000 22:36:45 +0200] rev 9199
facts: support multiple lists of arguments; method_setup command;
Thu, 29 Jun 2000 22:35:45 +0200 * formal comments (text blocks etc.) in new-style theories may now
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;
Thu, 29 Jun 2000 22:32:45 +0200 added method_setup;
wenzelm [Thu, 29 Jun 2000 22:32:45 +0200] rev 9197
added method_setup; facts: handle multiple lists of arguments;
Thu, 29 Jun 2000 22:32:08 +0200 facts: handle multiple lists of arguments;
wenzelm [Thu, 29 Jun 2000 22:32:08 +0200] rev 9196
facts: handle multiple lists of arguments;
Thu, 29 Jun 2000 22:31:53 +0200 fixed is_semicolon (keyword instead of command!);
wenzelm [Thu, 29 Jun 2000 22:31:53 +0200] rev 9195
fixed is_semicolon (keyword instead of command!);
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip