| Tue, 02 May 2006 20:42:43 +0200 | wenzelm | added the_theory; | changeset | files |
| Tue, 02 May 2006 20:42:42 +0200 | wenzelm | extend/remove_syntax: observe inout flag for translations, too; | changeset | files |
| Tue, 02 May 2006 20:42:41 +0200 | wenzelm | handle exception SYS_ERROR; | changeset | files |
| Tue, 02 May 2006 20:42:40 +0200 | wenzelm | abbreviation: observe local syntax mode; | changeset | files |
| Tue, 02 May 2006 20:42:39 +0200 | wenzelm | added set_syntax_mode, restore_syntax_mode; | changeset | files |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | sys_error: exception SYS_ERROR; | changeset | files |
| Tue, 02 May 2006 20:42:37 +0200 | wenzelm | maintain implicit syntax mode; | changeset | files |
| Tue, 02 May 2006 20:42:36 +0200 | wenzelm | ThyInfo.the_theory; | changeset | files |
| Tue, 02 May 2006 20:42:35 +0200 | wenzelm | ThyInfo.the_theory; | changeset | files |
| Tue, 02 May 2006 20:42:34 +0200 | wenzelm | actually removed old stuff; | changeset | files |
| Tue, 02 May 2006 20:42:33 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Tue, 02 May 2006 20:42:32 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Tue, 02 May 2006 20:42:30 +0200 | wenzelm | replaced syntax/translations by abbreviation; | changeset | files |
| Tue, 02 May 2006 19:23:48 +0200 | webertj | beta_eta_conversion added to pre_cnf_tac | changeset | files |
| Tue, 02 May 2006 16:19:53 +0200 | haftmann | added obfuscation for mails | changeset | files |
| Tue, 02 May 2006 14:27:49 +0200 | paulson | tidied and harmonized "params_of_state" | changeset | files |
| Tue, 02 May 2006 00:33:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 May 2006 00:20:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 May 2006 00:20:38 +0200 | wenzelm | added domain_error; | changeset | files |
| Tue, 02 May 2006 00:20:37 +0200 | wenzelm | of_sort: option; | changeset | files |
| Mon, 01 May 2006 18:10:40 +0200 | paulson | some facts about min, max and add, diff | changeset | files |
| Mon, 01 May 2006 18:10:18 +0200 | paulson | a few more examples | changeset | files |
| Mon, 01 May 2006 17:05:13 +0200 | wenzelm | class_triv: Sign.certify_class; | changeset | files |
| Mon, 01 May 2006 17:05:12 +0200 | wenzelm | arities: maintain original codomain; | changeset | files |
| Mon, 01 May 2006 17:05:11 +0200 | wenzelm | added sort_triv; | changeset | files |
| Mon, 01 May 2006 17:05:10 +0200 | wenzelm | of_sort: simplified derivation; | changeset | files |
| Mon, 01 May 2006 17:05:09 +0200 | wenzelm | adapted arities; | changeset | files |
| Mon, 01 May 2006 01:22:31 +0200 | huffman | add theorem flift2_defined_iff | changeset | files |
| Mon, 01 May 2006 01:21:23 +0200 | huffman | add theorem typdef_flat | changeset | files |
| Sun, 30 Apr 2006 22:50:12 +0200 | wenzelm | AxClass.define_class_i, AxClass.get_definition; | changeset | files |
| Sun, 30 Apr 2006 22:50:11 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 30 Apr 2006 22:50:10 +0200 | wenzelm | AxClass.define_class; | changeset | files |