Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/calculus.sml
author Walther Neuper <neuper@ist.tugraz.at>
Wed, 23 Mar 2011 17:20:39 +0100
branchdecompose-isar
changeset 41943 f33f6959948b
child 42321 e68b4b4f0fac
permissions -rw-r--r--
make Test_Isac.thy run in jEdit; intermed.

jEdit behaves differently from emacs in file dependencies.
Test_Isac.thy runs in emacs now.
For jEdit different uses seem appropriate; done in next step.
neuper@41943 
     1
 
(* Title:  test/../calculus.sml
neuper@41943 
     2
 
   Author: Walther Neuper 110320
neuper@41943 
     3
 
   (c) copyright due to lincense terms.
neuper@41943 
     4
 
*)
wneuper/isa