InferBasic.hs revision ef7d1a1d5454458d46b9acefeda94b12bdc695b2
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsynctree ef7d1a1d5454458d46b9acefeda94b12bdc695b2:
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsync
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncATC.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncATC/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncCASL.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCASL/
c7814cf6e1240a519cbec0441e033d0e2470ed00vboxsyncCASL_DL.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCASL_DL/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCOL.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCOL/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCoCASL.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCoCASL/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCommon.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCommon/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncComorphisms.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncComorphisms/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncConstraintCASL/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCspCASL.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncCspCASL/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncDriver.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncDriver/
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncGUI.hs
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncGUI/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncHasCASL.hs
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncHasCASL/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncHaskell.hs
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncHaskell/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncHatchet/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncHets-Haddock-Prologue.txt
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncINSTALL
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncIsabelle.hs
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncIsabelle/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncLICENCE.txt
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncLICENSE.txt
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncLIZENZ.txt
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncLogic.hs
90f401144791e2c9b588ae2705a1d5fcd0a8003evboxsyncLogic/
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncLottery/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncMakefile
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncModal.hs
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncModal/
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncOMDoc/
230bd8589bba39933ac5ec21482d6186d675e604vboxsyncOWL_DL.hs
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncOWL_DL/
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncPGIP.hs
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncPGIP/
8d43244aa3d322f7807a4b0488f1038dd2595dc1vboxsyncProofs.hs
64ef699a16be55608c3268c6d9795df7460ce05dvboxsyncProofs/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncREADME
4ce88e224dfcf94a91abfb31626bce1448a5477cvboxsyncReleaseMakefile
4ce88e224dfcf94a91abfb31626bce1448a5477cvboxsyncSPASS.hs
348ab4dfd43983ccefcd45aa3dd53ab577aaa382vboxsyncSPASS/
43747b1f0bc8302a238fb35e55857a5e9aa1933dvboxsyncStatic.hs
8ffcab9595cc0d56977968cd496363502fd814aevboxsyncStatic/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncSyntax/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncTaxonomy.hs
71e78bc7cd31385955b5684085e43f9d1d051d5avboxsyncTaxonomy/
03a8999a2d973cb4c77a871af1af1abd7339eebavboxsyncTest.hs
2305bc3992bdea24236ad2d12fed48144eaa6db5vboxsyncToHaskell/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsyncclean.lst
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncclean.sh
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsynccvs-howto
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncdoc/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsyncfgl/
2e2dec6e64c09dd7e3fe4ad0ee8bb5cf7d63762evboxsynchaifa-lite/
f44ef6f585ec10140a343fa5591d282c32c1a3bevboxsynchcl/
88b7935c7a9d5156b439570abcea19c121ecf60bvboxsynchets.hs
a6f2803982b3fa4eec55742215258591f8d7e6bfvboxsynchets.in
a6f2803982b3fa4eec55742215258591f8d7e6bfvboxsynchxt/
a6f2803982b3fa4eec55742215258591f8d7e6bfvboxsyncideas
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsyncmini/
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsyncpretty/
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsyncsyb-generics/
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsynctest/
b0b95b2895d8f8dd4a91bb0b8bcbc15fee74ca6evboxsynctodo
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsyncutils/
bc45f02332d3c4323c22cac316f5f7fe8229fea1vboxsyncversion_nr
a6f2803982b3fa4eec55742215258591f8d7e6bfvboxsync