index.php revision 31ff68cbfcac2795548aed3528c0ca62891bf997
f3ec420152ca921e4c1ce77782f51b53f659018dnd<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
f3ec420152ca921e4c1ce77782f51b53f659018dnd<html xmlns="http://www.w3.org/1999/xhtml">
f3ec420152ca921e4c1ce77782f51b53f659018dnd<head>
f3ec420152ca921e4c1ce77782f51b53f659018dnd<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
f3ec420152ca921e4c1ce77782f51b53f659018dnd<title>CoLoSS - Coalgebraic Logic Satisfiability Solver</title>
f3ec420152ca921e4c1ce77782f51b53f659018dnd<link rel="stylesheet" href="main.css" type="text/css" />
f3ec420152ca921e4c1ce77782f51b53f659018dnd</head>
f3ec420152ca921e4c1ce77782f51b53f659018dnd
f3ec420152ca921e4c1ce77782f51b53f659018dnd<FRAMESET ROWS=150,*,30" border="0">
f3ec420152ca921e4c1ce77782f51b53f659018dnd <FRAME SRC="menu.html" NAME=TITLE SCROLLING=NO>
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen <FRAME SRC="info.html" NAME=INFO>
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen <FRAME SRC="tfoot.html" />
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen</FRAMESET>
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen
f3ec420152ca921e4c1ce77782f51b53f659018dnd<body />
f3ec420152ca921e4c1ce77782f51b53f659018dnd
f3ec420152ca921e4c1ce77782f51b53f659018dnd</html>
3f08db06526d6901aa08c110b5bc7dde6bc39905nd