anchor.diff:  <!-- Basic Page Needs
       ================================================== -->
   <meta charset="utf-8">
  -<title>evalB - Logic calculator</title>
  +<title>evalB - ProB Logic calculator</title>
   <meta name="description" content="">
   <meta name="author" content="Jens Bendisposto">
   
  
positive.code: 						<td>%x.(P|E)</td>
  					</tr>
  					<tr>
  						<td class="row-label">Intervall $ \{x \mid x \in \mathbb{Z}
  							\wedge n \leq x \wedge x \leq m\} $</td>
  						<td>n..m</td>
  					</tr>
  
negative.code: 
  	<div class="container">
  		<h1 class="capital remove-bottom" style="margin-top: 40px">evalB</h1>
  		<h2>ProB Logic Calculator</h2>
  		<hr />
  		<div class="two-thirds column">
  			<textarea name="input" id="input" rows="15" onkeyup="probeval()"></textarea>
  		</div>
  		<div class="one-third column omega" style="vertical-align: text-top;">
  			<h3>Quantification Mode</h3>
  			<select size="1" id="mode" name="mode" class="styled-select" onchange="probeval()">
  				<option value="" selected="selected">Existential
  					(Solving)</option>
  				<option value="tautology">Universal
  					(Checking)</option>
  			</select>
  			<h3>Examples</h3>
  			<select size="1" id="examples" name="examples" class="styled-select"
  