| Fri, 28 Mar 2008 22:01:02 +0100 | haftmann | not depends on Main any longer | changeset | files |
| Fri, 28 Mar 2008 22:01:01 +0100 | haftmann | accomodated to sledgehammer theory dependency requirement | changeset | files |
| Fri, 28 Mar 2008 22:00:59 +0100 | haftmann | only invoke interpret | changeset | files |
| Fri, 28 Mar 2008 20:08:11 +0100 | wenzelm | updated generated file; | changeset | files |
| Fri, 28 Mar 2008 20:02:04 +0100 | wenzelm | Context.>> : operate on Context.generic; | changeset | files |
| Fri, 28 Mar 2008 19:43:54 +0100 | wenzelm | avoid rebinding of existing facts; | changeset | files |
| Fri, 28 Mar 2008 19:12:39 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 18:56:43 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 18:51:17 +0100 | haftmann | some styling | changeset | files |
| Fri, 28 Mar 2008 11:08:18 +0100 | urbanc | tuned proofs | changeset | files |
| Fri, 28 Mar 2008 00:02:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 28 Mar 2008 00:02:56 +0100 | wenzelm | updated dependencies; | changeset | files |
| Fri, 28 Mar 2008 00:02:54 +0100 | wenzelm | reorganized signature of ML_Context; | changeset | files |
| Thu, 27 Mar 2008 21:49:10 +0100 | huffman | remove commented text | changeset | files |
| Thu, 27 Mar 2008 21:21:08 +0100 | wenzelm | avoid ambiguity of State.state vs. JVMType.state; | changeset | files |
| Thu, 27 Mar 2008 19:49:24 +0100 | huffman | declare cont_lemmas_ext as simp rules individually | changeset | files |
| Thu, 27 Mar 2008 19:22:24 +0100 | wenzelm | avoid amiguity of Continuity.chain vs. Porder.chain; | changeset | files |
| Thu, 27 Mar 2008 19:22:23 +0100 | wenzelm | avoid amiguity of State.state vs. JVMType.state; | changeset | files |
| Thu, 27 Mar 2008 19:05:10 +0100 | haftmann | changed wrong assignement in signature sections | changeset | files |
| Thu, 27 Mar 2008 19:04:42 +0100 | haftmann | clarified character serializations | changeset | files |
| Thu, 27 Mar 2008 19:04:41 +0100 | haftmann | added Enum | changeset | files |
| Thu, 27 Mar 2008 19:04:40 +0100 | haftmann | circumventing merge problem | changeset | files |
| Thu, 27 Mar 2008 19:04:39 +0100 | haftmann | explicit case names for rule list_induct2 | changeset | files |
| Thu, 27 Mar 2008 19:04:38 +0100 | haftmann | instance for functions, explicit characters | changeset | files |
| Thu, 27 Mar 2008 19:04:37 +0100 | haftmann | lemmas about map_of (zip _ _) | changeset | files |
| Thu, 27 Mar 2008 19:04:36 +0100 | haftmann | restructuring; explicit case names for rule list_induct2 | changeset | files |
| Thu, 27 Mar 2008 19:04:35 +0100 | haftmann | no "attach UNIV" any more | changeset | files |
| Thu, 27 Mar 2008 17:35:57 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 27 Mar 2008 17:35:56 +0100 | wenzelm | tuned comments; | changeset | files |
| Thu, 27 Mar 2008 17:21:41 +0100 | wenzelm | fixed theory imports; | changeset | files |
| Thu, 27 Mar 2008 16:24:10 +0100 | wenzelm | tuned appendix; | changeset | files |
| Thu, 27 Mar 2008 15:32:19 +0100 | wenzelm | removed obsolete appl_syntax, applC_syntax; | changeset | files |