From 195a4115d8f3a01e8f484423fb5ef38acfb74090 Mon Sep 17 00:00:00 2001
From: Arfon Smith <arfon@github.com>
Date: Thu, 19 Jun 2014 14:50:41 +0100
Subject: [PATCH] Samples

---
 lib/linguist/samples.json | 92 +++++++++++++++++++++++++++++++++++++--
 1 file changed, 89 insertions(+), 3 deletions(-)

diff --git a/lib/linguist/samples.json b/lib/linguist/samples.json
index c238bfe1..64823831 100644
--- a/lib/linguist/samples.json
+++ b/lib/linguist/samples.json
@@ -235,6 +235,9 @@
     "Ioke": [
       ".ik"
     ],
+    "Isabelle": [
+      ".thy"
+    ],
     "Jade": [
       ".jade"
     ],
@@ -747,8 +750,8 @@
       ".gemrc"
     ]
   },
-  "tokens_total": 636184,
-  "languages_total": 816,
+  "tokens_total": 636320,
+  "languages_total": 817,
   "tokens": {
     "ABAP": {
       "*/**": 1,
@@ -27441,6 +27444,87 @@
       "SHEBANG#!ioke": 1,
       "println": 1
     },
+    "Isabelle": {
+      "theory": 1,
+      "HelloWorld": 3,
+      "imports": 1,
+      "Main": 1,
+      "begin": 1,
+      "section": 1,
+      "{": 5,
+      "*Playing": 1,
+      "around": 1,
+      "with": 2,
+      "Isabelle*": 1,
+      "}": 5,
+      "text": 4,
+      "*": 4,
+      "creating": 1,
+      "a": 2,
+      "lemma": 2,
+      "the": 2,
+      "name": 1,
+      "hello_world*": 1,
+      "hello_world": 2,
+      "by": 9,
+      "simp": 8,
+      "thm": 1,
+      "defining": 1,
+      "string": 1,
+      "constant": 1,
+      "definition": 1,
+      "where": 1,
+      "theorem": 2,
+      "(": 5,
+      "fact": 1,
+      "List.rev_rev_ident": 4,
+      ")": 5,
+      "*now": 1,
+      "we": 1,
+      "delete": 1,
+      "already": 1,
+      "proven": 1,
+      "lema": 1,
+      "and": 1,
+      "show": 2,
+      "it": 2,
+      "hand*": 1,
+      "declare": 1,
+      "[": 1,
+      "del": 1,
+      "]": 1,
+      "hide_fact": 1,
+      "corollary": 2,
+      "apply": 1,
+      "add": 1,
+      "HelloWorld_def": 1,
+      "done": 1,
+      "*does": 1,
+      "hold": 1,
+      "in": 1,
+      "general": 1,
+      "rev_rev_ident": 2,
+      "proof": 1,
+      "induction": 1,
+      "l": 2,
+      "case": 3,
+      "Nil": 1,
+      "thus": 1,
+      "next": 1,
+      "Cons": 1,
+      "ls": 1,
+      "assume": 1,
+      "IH": 2,
+      "have": 2,
+      "hence": 1,
+      "also": 1,
+      "finally": 1,
+      "using": 1,
+      "qed": 1,
+      "fastforce": 1,
+      "intro": 1,
+      "end": 1
+    },
     "Jade": {
       "p.": 1,
       "Hello": 1,
@@ -68388,6 +68472,7 @@
     "Inform 7": 75,
     "INI": 27,
     "Ioke": 2,
+    "Isabelle": 136,
     "Jade": 3,
     "Java": 8987,
     "JavaScript": 76970,
@@ -68580,6 +68665,7 @@
     "Inform 7": 2,
     "INI": 2,
     "Ioke": 1,
+    "Isabelle": 1,
     "Jade": 1,
     "Java": 6,
     "JavaScript": 22,
@@ -68706,5 +68792,5 @@
     "Zephir": 2,
     "Zimpl": 1
   },
-  "md5": "7403e3e21c597d10462391ab49bb9bf9"
+  "md5": "08b10456e2939230eb5cee4d4d487a0a"
 }
\ No newline at end of file