Wed, 05 Nov 1997 15:45:51 +0100 several minor improvements
oheimb [Wed, 05 Nov 1997 15:45:51 +0100] rev 4170
several minor improvements
Wed, 05 Nov 1997 15:42:30 +0100 added ax2isa
oheimb [Wed, 05 Nov 1997 15:42:30 +0100] rev 4169
added ax2isa
Wed, 05 Nov 1997 15:42:07 +0100 added ax2isa
oheimb [Wed, 05 Nov 1997 15:42:07 +0100] rev 4168
added ax2isa
Wed, 05 Nov 1997 15:38:40 +0100 added isabelle14 and isabelle24
oheimb [Wed, 05 Nov 1997 15:38:40 +0100] rev 4167
added isabelle14 and isabelle24
Wed, 05 Nov 1997 15:36:54 +0100 removed gererated files
oheimb [Wed, 05 Nov 1997 15:36:54 +0100] rev 4166
removed gererated files
Wed, 05 Nov 1997 15:36:40 +0100 added entry for manual
oheimb [Wed, 05 Nov 1997 15:36:40 +0100] rev 4165
added entry for manual
Wed, 05 Nov 1997 15:36:01 +0100 *** empty log message ***
oheimb [Wed, 05 Nov 1997 15:36:01 +0100] rev 4164
*** empty log message ***
Wed, 05 Nov 1997 14:00:49 +0100 Now introduces Safe_tac
paulson [Wed, 05 Nov 1997 14:00:49 +0100] rev 4163
Now introduces Safe_tac
Wed, 05 Nov 1997 13:50:59 +0100 Ran expandshort, especially to introduce Safe_tac
paulson [Wed, 05 Nov 1997 13:50:59 +0100] rev 4162
Ran expandshort, especially to introduce Safe_tac
Wed, 05 Nov 1997 13:50:16 +0100 Adapted to removal of UN1_I, etc
paulson [Wed, 05 Nov 1997 13:50:16 +0100] rev 4161
Adapted to removal of UN1_I, etc
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip