| Mon, 27 Apr 1998 17:52:03 +0200 |
nipkow |
delsplits, Addsplits, Delsplits.
|
changeset |
files
|
| Mon, 27 Apr 1998 16:47:50 +0200 |
nipkow |
Renamed expand_const -> split_const
|
changeset |
files
|
| Mon, 27 Apr 1998 16:46:56 +0200 |
nipkow |
Added conversion of reg.expr. to automata.
|
changeset |
files
|
| Mon, 27 Apr 1998 16:45:27 +0200 |
nipkow |
Renamed expand_const -> split_const.
|
changeset |
files
|
| Mon, 27 Apr 1998 16:45:11 +0200 |
nipkow |
Added a few lemmas.
|
changeset |
files
|
| Mon, 27 Apr 1998 13:47:46 +0200 |
paulson |
New proof of apply_equality and new thm Pi_image_cons
|
changeset |
files
|
| Fri, 24 Apr 1998 16:18:39 +0200 |
oheimb |
improved split_all_tac significantly
|
changeset |
files
|
| Fri, 24 Apr 1998 16:16:29 +0200 |
oheimb |
improved keyboard modifiers
|
changeset |
files
|
| Fri, 24 Apr 1998 16:15:34 +0200 |
oheimb |
added ASCII translation of subseteq
|
changeset |
files
|
| Fri, 24 Apr 1998 13:06:17 +0200 |
paulson |
tidied; div & mod
|
changeset |
files
|
| Fri, 24 Apr 1998 11:22:39 +0200 |
oheimb |
*** empty log message ***
|
changeset |
files
|
| Wed, 22 Apr 1998 19:09:44 +0200 |
wenzelm |
added no_syn;
|
changeset |
files
|