| Sun, 07 Jan 2001 21:37:40 +0100 | wenzelm | do not AutoBind.drop_judgment; | changeset | files |
| Sun, 07 Jan 2001 21:36:59 +0100 | wenzelm | tuned output; | changeset | files |
| Sun, 07 Jan 2001 21:36:11 +0100 | wenzelm | tuned norm_hhf(_tac); | changeset | files |
| Sun, 07 Jan 2001 21:35:34 +0100 | wenzelm | added is_norm_hhf; | changeset | files |
| Sun, 07 Jan 2001 21:35:11 +0100 | wenzelm | removed outdated comment; | changeset | files |
| Sun, 07 Jan 2001 21:34:45 +0100 | wenzelm | case binds: AutoBind.drop_judgment; | changeset | files |
| Sun, 07 Jan 2001 21:34:16 +0100 | wenzelm | tuned split_all_tac; | changeset | files |
| Sun, 07 Jan 2001 18:43:13 +0100 | kleing | merged semilattice orders with <=' from Convert.thy (now defined in JVMType.thy) | changeset | files |
| Sat, 06 Jan 2001 21:31:37 +0100 | wenzelm | support ?case binding; | changeset | files |
| Sat, 06 Jan 2001 21:31:09 +0100 | wenzelm | apply_case: more robust handling of bounds; | changeset | files |
| Sat, 06 Jan 2001 21:29:29 +0100 | wenzelm | moved norm_hhf_tac to Pure/tactic.ML; | changeset | files |
| Sat, 06 Jan 2001 21:28:30 +0100 | wenzelm | added drop_judgment; | changeset | files |
| Sat, 06 Jan 2001 21:28:04 +0100 | wenzelm | export read_inst', inst'; | changeset | files |
| Sat, 06 Jan 2001 21:27:33 +0100 | wenzelm | added list_abs; | changeset | files |
| Sat, 06 Jan 2001 21:27:12 +0100 | wenzelm | added norm_hhf(_tac); | changeset | files |
| Sat, 06 Jan 2001 21:26:27 +0100 | wenzelm | Tactic.norm_hhf; | changeset | files |
| Sat, 06 Jan 2001 21:26:13 +0100 | wenzelm | 'of:' params spec; | changeset | files |
| Sat, 06 Jan 2001 21:22:35 +0100 | wenzelm | 'cases' / 'induct' method: ?case binding, 'of:' spec; | changeset | files |
| Sat, 06 Jan 2001 12:39:05 +0100 | nipkow | *** empty log message *** | changeset | files |
| Sat, 06 Jan 2001 11:27:09 +0100 | nipkow | *** empty log message *** | changeset | files |
| Sat, 06 Jan 2001 10:36:19 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 05 Jan 2001 18:49:16 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 05 Jan 2001 18:48:18 +0100 | nipkow | ^^ -> ``` | changeset | files |
| Fri, 05 Jan 2001 18:33:47 +0100 | paulson | Fleuriot reference | changeset | files |
| Fri, 05 Jan 2001 18:32:57 +0100 | paulson | minor edits to Chapters 1-3 | changeset | files |
| Fri, 05 Jan 2001 18:32:33 +0100 | paulson | revisions especially concerning the reals | changeset | files |
| Fri, 05 Jan 2001 18:31:48 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 05 Jan 2001 18:16:01 +0100 | paulson | a few extra brackets | changeset | files |
| Fri, 05 Jan 2001 15:39:34 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 05 Jan 2001 15:16:40 +0100 | nipkow | *** empty log message *** | changeset | files |
| Fri, 05 Jan 2001 14:28:10 +0100 | nipkow | Changed priority of dvd from 70 to 50 as befits a relation. | changeset | files |
| Fri, 05 Jan 2001 13:10:37 +0100 | nipkow | *** empty log message *** | changeset | files |