AS_Architecture.der.hs revision 9e27c68ef285b5b875b97cbb7ef12462a6ccc4f3
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maedertree 9e27c68ef285b5b875b97cbb7ef12462a6ccc4f3:
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maeder
09249711700a6acbc40a2e337688b434d7aafa28Christian MaederATC.hs
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederATC/
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederCASL.hs
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCASL/
3f69b6948966979163bdfe8331c38833d5d90ecdChristian MaederCASL_DL.hs
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian MaederCASL_DL/
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaederCOL.hs
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCOL/
f3a94a197960e548ecd6520bb768cb0d547457bbChristian MaederCoCASL.hs
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederCoCASL/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederCommon.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederCommon/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederComorphisms.hs
e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian MaederComorphisms/
d48085f765fca838c1d972d2123601997174583dChristian MaederConstraintCASL/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederCspCASL.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederCspCASL/
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederDriver.hs
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian MaederDriver/
d48085f765fca838c1d972d2123601997174583dChristian MaederGUI.hs
47d6bc7bc9a708427f96be8d805f712697ad3d9eChristian MaederGUI/
23a00c966f2aa8da525d7a7c51933c99964426c0Christian MaederHasCASL.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederHasCASL/
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederHaskell.hs
72909c6c1cfe9702f5910d0a135c8b55729c7917Christian MaederHaskell/
72b9099aeec0762bae4546db3bc4b48721027bf4Christian MaederHatchet/
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian MaederHets-Haddock-Prologue.txt
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederINSTALL
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederIsabelle.hs
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederIsabelle/
3c5cc698b0c061209ff83eb8de027daef5ae922aChristian MaederLICENCE.txt
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaederLICENSE.txt
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaederLIZENZ.txt
413db961f13e112716509b6d61d7a7bbf50c98b2Christian MaederLogic.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederLogic/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederLottery/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederMakefile
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederModal.hs
8452387b4c54b8dd36c012b216e0b0c5004ca6f1Christian MaederModal/
c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian MaederOMDoc/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederOWL_DL.hs
ce3928e71520030ad0275b72050a8f4377f9313cChristian MaederOWL_DL/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederPGIP.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederPGIP/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederProofs.hs
e997f1724fcc2c5bb49f44e9f45e8354e0f3a2d6Christian MaederProofs/
2f6227e9ec96ca827cc40078916f18d54a075136Christian MaederREADME
2f6227e9ec96ca827cc40078916f18d54a075136Christian MaederReleaseMakefile
2f6227e9ec96ca827cc40078916f18d54a075136Christian MaederSPASS.hs
2f6227e9ec96ca827cc40078916f18d54a075136Christian MaederSPASS/
2f6227e9ec96ca827cc40078916f18d54a075136Christian MaederStatic.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederStatic/
120efeede54a5f7650cda8e91363bd6832eac9a9Christian MaederSyntax/
120efeede54a5f7650cda8e91363bd6832eac9a9Christian MaederTaxonomy.hs
120efeede54a5f7650cda8e91363bd6832eac9a9Christian MaederTaxonomy/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederTest.hs
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian MaederToHaskell/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederclean.lst
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederclean.sh
df33a9af92444f63ad545da6bb326aac9284318eChristian Maedercvs-howto
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederdoc/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederfgl/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederhaifa-lite/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederhcl/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederhets.hs
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederhets.in
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederhxt/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederideas
df33a9af92444f63ad545da6bb326aac9284318eChristian Maedermini/
df33a9af92444f63ad545da6bb326aac9284318eChristian Maederpretty/
120efeede54a5f7650cda8e91363bd6832eac9a9Christian Maedersyb-generics/
ce3928e71520030ad0275b72050a8f4377f9313cChristian Maedertest/
5a13581acc5a76d392c1dec01657bb3efd4dcf2dChristian Maedertodo
d703a61b7fa9f85d92ac8f768d7c290b7c0a41c5Christian Maederutils/
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8Christian Maederversion_nr
c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian Maeder