Mercurial Mercurial > hg > tm / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Thu, 10 Jan 2019 13:00:04 +0000
changeset 295 fa6f654cbc13
parent 198 d93cc4295306
permissions -rw-r--r--
updated to Isabelle 2017
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
163
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     1
1
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 0
diff changeset 
     2
 
no_document
163
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     3
 
use_thys ["thys/Turing",
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     4
 
          "thys/Turing_Hoare",
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     5
 
	  "thys/Uncomputable",
173
b51cb9aef3ae split Mopup TM into a separate file
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 163
diff changeset 
     6
 
          "thys/Abacus_Mopup",
163
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     7
 
	  "thys/Abacus",
198
d93cc4295306 tuned some files
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 173
diff changeset 
     8
 
          "thys/Abacus_Defs",
163
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
     9
 
	  "thys/Rec_Def",
67063c5365e1 changed theory names to uppercase
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 145
diff changeset 
    10
 
	  "thys/Recursive",
145
38d8e0e37b7d updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 101
diff changeset 
    11
 
          "thys/UF",
38d8e0e37b7d updated paper
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 101
diff changeset 
    12
 
          "thys/UTM"]
tm