diff --git a/src/main/webapp/WEB-INF/jsp/index.jsp b/src/main/webapp/WEB-INF/jsp/index.jsp index 54f56bb..a31785b 100644 --- a/src/main/webapp/WEB-INF/jsp/index.jsp +++ b/src/main/webapp/WEB-INF/jsp/index.jsp @@ -12,13 +12,13 @@ - Theorem Prover + Pandamoniumâ„¢ Theorem Prover

Theorem Prover

-

Hello! Welcome to Theorem Prover !!

+

Hello! Welcome to Pandamoniumâ„¢ Theorem Prover!!

Click on this link to visit theorem entering page.