| Tue, 29 Aug 2000 11:52:47 +0200 | wenzelm | improved isabellepar env; | changeset | files |
| Tue, 29 Aug 2000 11:52:16 +0200 | wenzelm | updated; | changeset | files |
| Tue, 29 Aug 2000 00:57:24 +0200 | wenzelm | Lambda/InductTermi made new-style theory; | changeset | files |
| Tue, 29 Aug 2000 00:56:22 +0200 | wenzelm | proper cong setup; | changeset | files |
| Tue, 29 Aug 2000 00:55:59 +0200 | wenzelm | Simplifier.cong_add_global; | changeset | files |
| Tue, 29 Aug 2000 00:55:31 +0200 | wenzelm | cong setup now part of Simplifier; | changeset | files |
| Tue, 29 Aug 2000 00:54:22 +0200 | wenzelm | updated cong stuff; | changeset | files |
| Tue, 29 Aug 2000 00:53:48 +0200 | wenzelm | 'cong' modifiers; | changeset | files |
| Tue, 29 Aug 2000 00:53:21 +0200 | wenzelm | \isakeywordcharunderscore; | changeset | files |
| Tue, 29 Aug 2000 00:52:57 +0200 | wenzelm | * Isar/Provers: 'simp' method now supports 'cong' modifiers; | changeset | files |
| Mon, 28 Aug 2000 20:33:23 +0200 | wenzelm | tex_index: Latex.tex_trailer; | changeset | files |
| Mon, 28 Aug 2000 20:32:55 +0200 | wenzelm | added tex_trailer; | changeset | files |
| Mon, 28 Aug 2000 20:32:38 +0200 | wenzelm | removed METHOD0; | changeset | files |
| Mon, 28 Aug 2000 20:31:00 +0200 | wenzelm | Method.SIMPLE_METHOD'; | changeset | files |
| Mon, 28 Aug 2000 20:30:47 +0200 | wenzelm | 'induct_tac' / 'case_tac': Method.goal_args'; | changeset | files |
| Mon, 28 Aug 2000 20:29:56 +0200 | wenzelm | added 'split' method; | changeset | files |
| Mon, 28 Aug 2000 20:29:19 +0200 | wenzelm | \newenvironment{isabellebody}: version without trivlist; | changeset | files |
| Mon, 28 Aug 2000 20:28:44 +0200 | wenzelm | * \isabellestyle{it} produces near math mode output; | changeset | files |
| Mon, 28 Aug 2000 17:02:19 +0200 | nipkow | Removed map_compose from simpset. | changeset | files |
| Mon, 28 Aug 2000 16:53:35 +0200 | kleing | fixed Id string | changeset | files |
| Mon, 28 Aug 2000 15:13:55 +0200 | wenzelm | updated; | changeset | files |
| Mon, 28 Aug 2000 14:09:33 +0200 | wenzelm | restart_loader: reset_path; | changeset | files |
| Mon, 28 Aug 2000 14:09:12 +0200 | wenzelm | add_path: del_path first; | changeset | files |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | changeset | files |
| Mon, 28 Aug 2000 13:50:24 +0200 | wenzelm | updated; | changeset | files |
| Mon, 28 Aug 2000 13:48:47 +0200 | wenzelm | moved \tt things to ttbox.sty; | changeset | files |
| Mon, 28 Aug 2000 13:48:25 +0200 | wenzelm | proper setup; | changeset | files |
| Mon, 28 Aug 2000 13:48:14 +0200 | wenzelm | removed ttbox; | changeset | files |
| Mon, 28 Aug 2000 10:16:58 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 28 Aug 2000 09:32:51 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 25 Aug 2000 12:17:09 +0200 | paulson | added \trivlist...\endtrivlist to the "isabelle" environment | changeset | files |
| Fri, 25 Aug 2000 12:15:35 +0200 | paulson | moved congruence rules UN_cong, INT_cong from UNTIY/Union to Set.ML | changeset | files |
| Thu, 24 Aug 2000 12:39:42 +0200 | paulson | xsymbols for {| and |} | changeset | files |
| Thu, 24 Aug 2000 12:39:24 +0200 | paulson | xsymbols for leads-to and Join | changeset | files |
| Thu, 24 Aug 2000 11:14:21 +0200 | paulson | fixed strip_assums and assum_pairs, restoring them (essentially) to their | changeset | files |
| Thu, 24 Aug 2000 11:05:20 +0200 | paulson | added some xsymbols, and tidied | changeset | files |
| Thu, 24 Aug 2000 00:55:42 +0200 | wenzelm | more symbols; | changeset | files |
| Thu, 24 Aug 2000 00:54:54 +0200 | wenzelm | disabled trivlist (causes non-descript problems in HOL-Real-HahnBanach); | changeset | files |
| Thu, 24 Aug 2000 00:53:53 +0200 | wenzelm | choosefrom: support easy settings; | changeset | files |
| Thu, 24 Aug 2000 00:53:23 +0200 | wenzelm | choosefrom: easy settings; | changeset | files |
| Wed, 23 Aug 2000 15:24:46 +0200 | wenzelm | isabelle env: trivlist; | changeset | files |
| Tue, 22 Aug 2000 11:24:44 +0200 | paulson | removed redundant commands | changeset | files |
| Tue, 22 Aug 2000 11:24:24 +0200 | paulson | removed most "makeatother", no longer needed | changeset | files |
| Tue, 22 Aug 2000 10:59:15 +0200 | paulson | updated to latest versions of ttbox and ttbreak | changeset | files |
| Mon, 21 Aug 2000 19:29:27 +0200 | wenzelm | updated; | changeset | files |
| Mon, 21 Aug 2000 19:17:07 +0200 | wenzelm | updated; | changeset | files |
| Mon, 21 Aug 2000 19:03:58 +0200 | wenzelm | updated; | changeset | files |
| Mon, 21 Aug 2000 18:49:38 +0200 | wenzelm | tuned translations; | changeset | files |
| Mon, 21 Aug 2000 18:45:29 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 21 Aug 2000 18:40:30 +0200 | wenzelm | added \isastyleminor; | changeset | files |
| Mon, 21 Aug 2000 18:38:27 +0200 | wenzelm | more \isachars; | changeset | files |
| Mon, 21 Aug 2000 18:16:47 +0200 | wenzelm | fixed has_meta_prems: strip_assums_hyp; | changeset | files |
| Mon, 21 Aug 2000 17:54:43 +0200 | nipkow | *** empty log message *** | changeset | files |
| Mon, 21 Aug 2000 13:47:24 +0200 | wenzelm | updated; | changeset | files |
| Sun, 20 Aug 2000 17:45:20 +0200 | wenzelm | open cases; | changeset | files |
| Sat, 19 Aug 2000 12:49:19 +0200 | wenzelm | output \isachar; | changeset | files |
| Sat, 19 Aug 2000 12:48:26 +0200 | wenzelm | cond_add_path; | changeset | files |
| Sat, 19 Aug 2000 12:47:16 +0200 | wenzelm | fixed text; | changeset | files |
| Sat, 19 Aug 2000 12:45:11 +0200 | wenzelm | turned into new-style theory; | changeset | files |
| Sat, 19 Aug 2000 12:44:39 +0200 | wenzelm | tuned; | changeset | files |