- "___ ";
- "||M|| ";
- "||A|| A project by Andrea Asperti ";
- "||T|| ";
- "||I|| Developers: ";
- "||T|| The HELM team. ";
- "||A|| http://helm.cs.unibo.it ";
- "\\ / ";
- "\\ / This file is distributed under the terms of the ";
- "v GNU General Public License Version 2 ";
+ " ";
+ " ___ ";
+ " ||M|| ";
+ " ||A|| A project by Andrea Asperti ";
+ " ||T|| ";
+ " ||I|| Developers: ";
+ " ||T|| The HELM team. ";
+ " ||A|| http://helm.cs.unibo.it ";
+ " \\ / ";
+ " \\ / This file is distributed under the terms of the ";
+ " v GNU General Public License Version 2 ";