<commit_before><?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>Session MuddyChildren (Isabelle2017: October 2017)</title>
<link media="all" rel="stylesheet" type="text/css" href="isabelle.css"/>
</head>

<body>
<div class="head"><h1>Session MuddyChildren</h1>

<p>View <a href="session_graph.pdf">theory dependencies</a></p>

</div>
<div class="theories">
<h2>Theories</h2>
<ul>
<li><a href="DEAK_Core_SE.html">DEAK_Core_SE</a></li>
<li><a href="DEAK_SE.html">DEAK_SE</a></li>
<li><a href="NatToString.html">NatToString</a></li>
<li><a href="DEAKDerivedRules.html">DEAKDerivedRules</a></li>
<li><a href="MuddyChildren.html">MuddyChildren</a></li>

</div>
</body>
</html>
<commit_msg>added link to the source code on github<commit_after><?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>Session MuddyChildren (Isabelle2017: October 2017)</title>
<link media="all" rel="stylesheet" type="text/css" href="isabelle.css"/>
</head>

<body>
<div class="head"><h1>Session MuddyChildren</h1>

<p>View <a href="session_graph.pdf">theory dependencies</a></p>
<p>View the <a href="https://github.com/goodlyrottenapple/calculus-toolbox">source code</a></p>

</div>
<div class="theories">
<h2>Theories</h2>
<ul>
<li><a href="DEAK_Core_SE.html">DEAK_Core_SE</a></li>
<li><a href="DEAK_SE.html">DEAK_SE</a></li>
<li><a href="NatToString.html">NatToString</a></li>
<li><a href="DEAKDerivedRules.html">DEAKDerivedRules</a></li>
<li><a href="MuddyChildren.html">MuddyChildren</a></li>

</div>
</body>
</html>

{'fraction_non_alphanumeric': 0.23147208121827412, 'fraction_numerical': 0.027411167512690356, 'mean_word_length': 6.551724137931035, 'pattern_counts': {'":': 0, '<': 97, '<?xml version=': 2, '>': 97, 'https://': 1, 'lorem ipsum': 0, 'www.': 4, 'xml': 4}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1948284', 'n_tokens_mistral': 837, 'n_tokens_neox': 778, 'n_words': 122}